If p is any logical statement, then:
p∧(~p) is a tautology
p∨(~p) is a contradiction
p∧p≡p
p∨(~p)≡p
Idempotent law p∧p≡p p is always true.