# "DeMorgan Law" "true"
if not (not a and not b):
  pass