Next: sn, Previous: bn, Up: Boolean Rules [Contents]
Boolean Dominance claims that the conjunction of a sentence and a contradiction is logically equivalent to a contradiction. It also claims that the disjunction of a sentence and a tautology is logically equivalent to a tautology.