离散数学主析取及主合取范式

本文为本人结合书本，网络资源的学习笔记，没有任何商业用途，如有任何错误，问题请广大网友指正和提出！

概念

一：析取范式与合取范式

百度百科

 	命题变项及其否定统称作文字。
 	仅由有限个文字构成的析取式称为简单析取式。
 	仅由有限个文字构成的合取式称为简单合取式。

例如，文字：p,┐q,r,q.

简单析取式: p,q,p∨q,p∨┐p∨r,┐p∨q∨┐r.

简单合取式: p,┐r,┐p∧r,┐p∧q∧r,p∧q∧┐r**.**

析取范式与合取范式

（1）由有限个简单合取式构成的析取式称为析取范式。

（2）由有限个简单析取式构成的合取式称为合取范式。

（3）析取范式与合取范式统称为范式。

例如，析取范式：**（**p┐∧q）∨r, ┐p∨q∨r, p∨┐q∨r.

合取范式:(p∨q∨r)∧(┐q∨r), ┐p∧q∧r, p∧┐q∧r.

求范式的步骤

1．消去联结词→、←、↔；

2．利用德·摩根律将否定符号┐直接移到各