Logic-0.1.0.0: README.md

# Logic

    :l main.hs
    p && q
    p || q
    p ==> q
    p <=> q
    (^) p