Logic

Documentation

data Logic

Constructors

T

F

Atom String

Neg Logic

Or [Logic]

And [Logic]

Instances

Show Logic

p :: Logic

q :: Logic

r :: Logic

(^) :: Logic -> Logic

(||) :: Logic -> Logic -> Logic

(&&) :: Logic -> Logic -> Logic

(==>) :: Logic -> Logic -> Logic

(<=>) :: Logic -> Logic -> Logic