Next:
bn
, Up:
Boolean Rules
6.4.1 Boolean Identity
A ^ T <=> A
A v ! <=> A