作业帮 > 数学 > 作业

求公式『(P Q)的主范式

来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/06/04 15:25:36
求公式『(P Q)的主范式
字母P和Q之间有一个双箭头.双箭头兄弟我不会打,只能这样说明了.呵.
还有,括号前面的符号是『,原来的是错的。
求公式『(P Q)的主范式
我也没有逻辑符号.约定一下:∟表示“否定”,=代替“”.
『(P Q)=∟(P↔O)=∟[(P∧Q)∨(∟P∧∟Q)]
=∟(P∧Q)∧∟(∟P∧∟Q)]=(∟P∨∟Q)∧(P∨Q)
=(∟P∧P)∨(∟P∧Q)∨(∟Q∧P)∨(∟Q∧Q)
=(∟P∧Q)∨(P∧∟Q).
主合取范式『(P Q)=∟(P↔O)=(∟P∨∟Q)∧(P∨Q).
主析取范式『(P Q)=∟(P↔O)=(∟P∧Q)∨(P∧∟Q).