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