问答题
用真值表或等价演算判断下列命题公式的类型
<=>¬(p∨¬q)∨q （条件等价式）<=>(¬p∧q)&o......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
求解递推方程。
试化公式P∨（P→（Q∨（Q→R）））的主析取范式和主合取范式，并判断公式的类型。
问答题试化公式P∨（¬P→（Q∨（¬Q→R）））的主析取范式和主合取范式，并判断公式的类型。
试化公式（¬P∨¬Q）→的主析取范式和主合取范式，并判断公式的类型。
。
的主析取范式和主合取范式，并判断公式的类型。