16 lines
381 B
Haskell
16 lines
381 B
Haskell
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
|
|
|
|
|
|
|