--  :load "c:\\HaskellProgs\\chap4_2.hs"   

{-

True || _    = True
_    || True = True
_    || _    = False

-}

{-
False || a     = a
a     || False = a
_     || _     = True
-}

False || False = False
_     || _     = True