析取

两个命题为互逆命题或互否命题，它们的真假性没有关系(原命题与逆否命题同真同假，逆命题与否命题同真同假）。当p和q皆真时，p∧q为真，p、q二者之一为假或二者皆假

主析取范式中极小项数目，与主合取范式中极大项数目，是互补的。主析取范式是1，则含有全部极小项，因为主合取范式中极大项数目为0 也即此时主合取范式为空。反过来，主