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

来源：百度知道 编辑：UC知道 时间：2024/05/16 01:04:16
字母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）.