新浪博客
）命题变元或其否定用析取（∨）联结而成的命题形式；
合取范式：n个（n=1,2,3,…）有相同的命题变元的基本析取式用合取（∧）联结而成的命题形式。
可以做出与与p↔q真值函数等值的
析取范式：
（(p∧q)
合取范式：
（（¬p）∨q)
由范式作法可知：
从而得到
范式存在定理：
合取范式：n个（n=1,2,3,…）有相同的命题变元的基本析取式用合取（∧）联结而成的命题形式。
可以做出与与p↔q真值函数等值的
析取范式：
（(p∧q)
合取范式：
（（¬p）∨q)
由范式作法可知：
从而得到
范式存在定理：