DM.LR.3.c: Apply Boolean algebra to prove identities and simplify expressions.