-- # Software Tools for Discrete Mathematics
module Stdm06LogicOperators where

infix 1 <=>

(<=>) :: Bool -> Bool -> Bool
(<=>) a b = a == b

infix 2 ==>

(==>) :: Bool -> Bool -> Bool
(==>) True False = False
(==>) a b = True

infix 3 \/

(\/) = (||)

infix 4 /\

(/\) = (&&)