矛盾式的主析取范式为0。如果主析取范式是m0~m7，主合取范式是1。如果求出的式子是矛盾式，那么主析取范式为0，主合取范式为M0~M7。因为每一个公式都等值于相应的主析式和主合式，主合取范式代表的是成假赋值，而主析取范式代表的是成真赋值。