a implies !b