Next: bd, Previous: bi, Up: Boolean Rules
Boolean Negation claims that the conjunction of a setentence and its contradiction is a contradiction, and the disjunction of a sentence and its negation is a tautology.