WeberLogic-0.1.0.0: Logic interpreter
WeberLogic.Actions
toNand :: LogicExp -> LogicExpSource
toNor :: LogicExp -> LogicExpSource
truthTree :: [LogicExp] -> IO ()Source
and :: Bool -> Bool -> BoolSource
or :: Bool -> Bool -> BoolSource
implies :: Bool -> Bool -> BoolSource
iff :: Bool -> Bool -> BoolSource
nand :: Bool -> Bool -> BoolSource
nor :: Bool -> Bool -> BoolSource
isConsistent :: [LogicExp] -> BoolSource
truthTableStrs :: LogicExp -> [String]Source
truthTableValues :: LogicExp -> ([LogicExp], [[Bool]], [Bool])Source