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

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

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