Chapter1.99-Propositional_logic(9Summary).pptVIP

Homework Establish the validity of the argument: If my programming is passed, then I am very happy. If my happy, then its sunny. It is 11PM, its warm. Therefore my programming is not passed. 五.范式的写法及应用 P39(4)d)写出(P?(Q∧R))∧(?P?(?Q∧?R))的主析取范式和主合取范式 方法1，用真值表 令A(P,Q,R)?(P?(Q∧R))∧(?P?(?Q∧?R)) 它的真值 表见 下页。 A(P,Q,R)?m0∨ m7 ?(?P∧?Q∧?R)∨(P∧Q∧R) A(P,Q,R)? M1∧M2∧M3∧M4∧M5∧M6 ?(P∨Q∨?R)∧(P∨?Q∨R)∧(P∨?Q∨?R)∧ (?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨?Q∨R) A(P, Q, R)的主析取范式中含有小项m0 , m7。 主合取范式中含有大项M1,M2 ,M3 ,M4 ,M5 ,M6 。 P Q R P?(Q∧R) ?P?(?Q∧?R ) A(P, Q, R) 0 F F F T