范式

相关tags:

范式名词解释：真值形式的规范形式，分合取范式和析取范式。合５３取范式的每个合取支都是简单析取式，一个析取式是简单析取式当且仅当每个析取支是一命题变元或其否定；析取范式的每个析取支都是简单合取式，一个合取式是简单合取式当且仅当每个合取支是一命题变元或其否定。单个命题变元或其否定可以看作简单合取式或简单析取式。如（ＰECｑ）D（ＰEｒ）是合取范式；ＰE（ｑDCｒ）E（ＰDCｑ）是析取范式，任一真值形式都可通过等值变换求得它的范式。