De Morgan's laws - Boolean Expressions and If Statements - Computer science