Logic

data Logic

p

q

r

(^)

(||)

(&&)

(==>)

(<=>)