析取

未来题库→标签→析取

析取

1.命题公式?（P→Q）的析取范式是（）2.析取命题又称为（）。3.┐（P∨Q）←→（P∧Q）的主析取范式是（）4.如果A为重言式，则A的主析取范式含全部，A的主合取范式不含任何。5.如果A为非重言式的可满足式，则A的主析取范式至少含一个。6.一个简单析取式是重言式，当且仅当它同时含有某个命题变元及其否定式。7.析取范式是有限个简单析取式的析取式。8.合取范式是有限个简单析取式的合取式。9.合取范式的对偶式是析取范式。10.对任意命题公式，不一定存在与其等价的析取范式和合取范式。11.任何命题公式都存在着与之等价的主析取范式和主合取范式，并且是唯一的。12.什么条件下一个析取范式是矛盾式？13.所有极小项的析取为：；所有极大项的和取为：。14.用等值演算法求公式((P∨Q)→R)→P的主析取范式。（注意：此处只写最终结果，写成mi的形式，且i从小到大的顺序排列，具体过程自己一定要在纸上实际演算。）15.由所有极小项形成的析取式永为假.16.任何两个重言式的合取或析取，仍然是一个重言式.17.在真值表中，一个公式的所有成假赋值所对应的极大项的析取，即为此公式的主析取范式.18.具有属种关系的两个析取式复合概念，其内涵与外延之间也具有反变关系。（）19.具有属种关系的两个析取式复合概念，其内涵与外延之间具有正变关系。（）20.不相容析取式和等值式的真假情况正好是相反的。