if (not (not $a or $b))