简单析取式与简单合取式

命题变项及其否定称为文字.

有限个文字构成的析取式称为简单析取式.

有限个文字构成的合取式称为简单合取式.

单个文字既是简单析取式又是简单合取式.

定理 一个简单析取式是重言式当且仅当其同时含有某个命题变项和它的否定式.

定理 一个简单合取式是矛盾式当且仅当其同时含有某个命题变项和它的否定式.