import Stdm06LogicOperators

-- |
-- >>> aBooleanProposition True True
-- True

-- |
-- >>> aBooleanProposition True False
-- True

-- |
-- >>> aBooleanProposition False True
-- True

-- |
-- >>> aBooleanProposition False False
-- True
aBooleanProposition a b = ((a ==> b) /\ not b) ==> not a