# Logic

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