析取:例如: isa(a

表 17-1carchive类重载了析取和插入运算符( 和>>),它们对派生于c

求下式的主合取范式和主析取范式.(10分) p→(q→r) 第1页

1.3 判断推理有效性的方法真值表法等值演算法主析取范式法3.1.

文字:命题变元或其否定子句(析取式):有限个文字的析取短语(合取式)