Next: bn, Up: Boolean Rules
Boolean Identity claims that the conjunction of a sentence with a tautology is logically equivalent to the sentence. It also claims that the disjunction of a sentence an a contradiction is logically equivalent to the sentence.