简单合取式

简单合取式是一类合取式，它含有一个变元及其否定的合取式。命题变项及其否定统称作文字。仅有有限个文字构成的析取式称作简单析取式。仅有有限个文字构成的合取式称作简单合取式。p，┐q等为一个文字构成简单析取式，p∨┐p，┐p∨q等为2个文字构成的简单析取式，┐p∨┐q∨r， p∨┐q∨r等为3个文字构成的简单析取式。