A library for generating truth tables.
import TruthTable
import TruthTable.Expr exposing (Expr(..))
-- De Morgan's Law
TruthTable.fromExprs
[ Not (Or (Var "P") (Var "Q"))
, And (Not (Var "P")) (Not (Var "Q"))
]-
Notifications
You must be signed in to change notification settings - Fork 1
Automatically generate truth tables for use with propositional logic
1hko/elm-truth-table
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Automatically generate truth tables for use with propositional logic
Resources
Stars
Watchers
Forks
Packages 0
No packages published