6.4.1 Boolean Identity

• A ^ T <=> A
• A v ! <=> A

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.