import Logic

main = do
        --let alpha = dict2func [('A',True),('B',False),('C',True)]
        let alpha = dict2func $ zip ['A','B','C'] [True,False,True]

            a = Atom 'A'
            b = Atom 'B'
            c = Atom 'C'
            --f = (NOT (NOT ((NOT a) `THEN` (b `EQUY`(NOT a)))))
            f = NOT $ NOT $ NOT a `THEN` (b `EQUY` NOT a)
        showInfo f