全版第二章析取范式与合取范式

- §2.2 析取范式与合取范式 - 简单析取式(简单合取式) - 命题变项及其否定称为文字。如p, p仅有有限个文字构成的析取式称作简单析取式。 如