只考虑命题逻辑 而且运算符号只有&(且) v(或) ~(否定) 如果给一个formula 叫Ψ 例如Ψ是 ( (P&Q) v ~R ) 这时候的真值表 P Q R | (P & Q) v ~R -------+-------------- 1 1 1 | 1 1 1 0 | 1 1 0 1 | 0 1 0 0 | 1 0 1 1 | 0 0 1 0 | 1 0 0 1 | 0 0 0 0 | 1 那麽将&改成v v改成& 例如将Ψ改成新的formula ( (PvQ) & ~R ) 结果看他的真值表 P Q R | (P v Q) & ~R -------+-------------- 1 1 1 | 0 1 1 0 | 1 1 0 1 | 0 1 0 0 | 1 0 1 1 | 0 0 1 0 | 1 0 0 1 | 0 0 0 0 | 0 我们发现 把新的真假值表 1改成0 0改成1 结果 从下往上读 就会变成原来的真假值表最後输出的真假值 请问是不是有这个定理 (只有且或否的命题逻辑 formula且改成或 或改成且 则真变假假变真 且 真假值表旋转） 那叫什麽？？ 谢谢喔 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.25.114 ※ 编辑: sbshank 来自: 140.112.25.114 (10/29 16:57)