[已解决]spoj 上面的TAUT的问题

ssy550842643 · 发表于 2017-1-12 22:55:22

http://www.spoj.com/problems/TAUT/
原题在此，讲真，我题都看不懂啥意思，也不明白是要干啥的。。。。

最佳答案

^ambition

2017-1-12 22:55:23

这里是离散数学中or 析取，and 合取，implies 蕴含,if and only if 等价（当且仅当）和 not 非这些运算符的用法，每个算式对应一个真值表，题目是说当变量取不同的值时，无论p,q,r的逻辑值是真还是假，这些算式的值是不是恒为真，是的话输出YES，不是得话输出NO

^ambition · 发表于 2017-1-12 22:55:23

这里是离散数学中or 析取，and 合取，implies 蕴含,if and only if 等价（当且仅当）和 not 非这些运算符的用法，每个算式对应一个真值表，题目是说当变量取不同的值时，无论p,q,r的逻辑值是真还是假，这些算式的值是不是恒为真，是的话输出YES，不是得话输出NO

ssy550842643 · 发表于 2017-1-23 21:25:08

^ambition 发表于 2017-1-19 12:00
这里是离散数学中or 析取，and 合取，implies 蕴含,if and only if 等价（当且仅当）和 not 非这些运算符 ...

会写吗。。。

账号		自动登录	找回密码
密码			立即注册