求公式『(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）.

我好好复习下