練習問題 2.1.1

∧( 
/\
)および∨( 
\/
)を条件式を用いて定義せよ． 





infixr 3 /\
infixr 2 \/

(/\) :: Bool -> Bool -> Bool
p /\ q = if p then q else False

(\/) :: Bool -> Bool -> Bool
p \/ q = if p then True else q