The reasons why the conjunctive formulas of all minima are contradictory are as follows. Let A be an arbitrary propositional formula. If the value of A is false under its various assignments, A is called contradictory or always false. If propositional formula A is not contradictory, it is called satisfiable. In discrete mathematics, the combination of all terms is contradictory.