de morgans law for the boolean condition