DM.LR.1.f: Identify the rules of inference and model basic logical statements including De Morgan’s Law.