WeberLogic-0.1.1: Logic interpreter

Safe Haskell	Safe-Inferred

WeberLogic.Actions

Documentation

toNand :: LogicExp -> LogicExp Source

toNor :: LogicExp -> LogicExp Source

truthTree :: [LogicExp] -> IO ()Source

and :: Bool -> Bool -> Bool Source

or :: Bool -> Bool -> Bool Source

implies :: Bool -> Bool -> Bool Source

iff :: Bool -> Bool -> Bool Source

nand :: Bool -> Bool -> Bool Source

nor :: Bool -> Bool -> Bool Source

isConsistent :: [LogicExp] -> Bool Source

truthTableStrs :: LogicExp -> [String]Source

truthTableValues :: LogicExp -> ([LogicExp], [[Bool]], [Bool])Source