DM.LR.1.b: Express logical statements in symbolic form.