Next: bn, Up: Boolean Rules [Contents]
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.