G OR (HE AND (NOT G))