conditional statement in discrete math