(ง •̀_•́)ง

命题范式（propositional normal form）           同一条逻辑表达式，我们可以有很多种写法，将这些表达式写成某一规定形式，称为命题范式。具体包括这样两种范式：合取范式（conjunctive normal form）和析取范式（disjuncive normal form）。       首先，我们利用递归（recursion）的方法定义一个命题式（pr