简答题 求命题公式“（¬P∨¬Q）→（P↔ ¬Q）”的主合取范式和主析取范式，并判断公式是否为重言式或矛盾式。

求公式“（P∧（Q∧S））∨（P∧（Q∧S））”的析、合取范式。 点击查看答案

求公式“P∨（P∨（Q∧Q））”的析、合取范式。 点击查看答案