AFM.AQR.5.6: Prove statements in Boolean algebra.