6.3.25 Boolean Algebra

Condition: using equivalent transformations, prove identity: variables.