命题逻辑公式的范式析取范式与合取范式析取范式是一个或多个简单合取式的析取•简单合取式是一个或多个文字的合取文字(literal)是命题变量或命题变量的否定合取范式是一个或多个简单析取式的合取•简单析取式是一个或多个文字的析取析取范式举例单个文字既是简单合取式