求公式（Q→P）∧（┓P∧Q）的主合取范式

来源：学生作业帮助网编辑：作业帮时间：2024/05/04 10:55:24

求公式（Q→P）∧（┓P∧Q）的主合取范式
求公式（Q→P）∧（┓P∧Q）的主合取范式

求公式（Q→P）∧（┓P∧Q）的主合取范式
（Q→P）∧（┓P∧Q）
<=>(┓Q∨P)∧（┓P∧Q）
<=>((┓Q∨P)∧┓P)∧((┓Q∨P)∧Q)
<=>((┓Q∧┓P)∨(P∧┓P))∧((┓Q∧Q)∨（P∧Q)）
<=>((┓Q∧┓P)∨F)∧(F∨（P∧Q)）
<=>(┓Q∧┓P)∧（P∧Q)

啥东西、、、