!(a implies !b)