!(a && b) => (!a || !b)