-- |
-- >>> tautology True
-- True

-- |
-- >>> tautology False
-- True
tautology p = p || not p

-- |
-- >>> contradiction True
-- False

-- |
-- >>> contradiction False
-- False
contradiction p = p && not p