If p is any logical statement, then
p∧(~p) is a tautology
p∨(~p) is a contradiction
p∧p=p
p∨(~p)=p
p∧(~p)≡Fp∨(~p)≡T
and p∧p≡p is true for each logical statement p.