矛盾式,对所有的2^n个取值,它的值都为0.根据真值表求主合取范式的方法,这2^n个极大值的合取就是主合取范式.
也就是所既然所有的取值都使得命题为假,那它的主合取范式显然要包括全部2^n个极大项.
简单例子：非P∧P
真值表如下：
非P P 矛盾式的值
0 1 0
1 0 0
当然主合取范式就是所有使得真值为0的极大项的合取啊!