aerphanas/truth_table
1
0
Fork 0
Code Issues Pull Requests Actions Activity
Truth Table from Boolean Algebra Expressions
19 Commits 1 Branch 0 Tags 45 KiB
Mercury 94.9%
Makefile 5.1%
main
Go to file
Muhammad Aviv Burhanudin afaf7d2c8b add install-static makefile
2024-08-20 15:05:25 +07:00
.gitignore Initial commit 2024-07-30 15:45:22 +00:00
cli.m prettiy print table 2024-08-02 21:07:21 +07:00
LICENSE ready, set, go!! 2024-07-30 22:48:50 +07:00
Makefile add install-static makefile 2024-08-20 15:05:25 +07:00
parser.m add warning about symbol 2024-08-03 20:14:44 +07:00
README.md add warning about symbol 2024-08-03 20:14:44 +07:00
truth_table.m split into modules 2024-08-02 12:38:27 +07:00
utils.m prettiy print table 2024-08-02 21:07:21 +07:00

README.md

truth_table

WARNING: Some terminals display some symbols poorly.

Truth Table from Boolean Algebra Expression

quick start

$ make
$ ./truth_table -e "( a and neg S ) or ( b and s )"
┌──────────────────────────────────────┐
│ Truth Table                          │
├───┬───┬───┬──────────────────────────┤
│ A │ B │ S │       (A ∧ ¬S) ∨ (B ∧ S) │
├───┼───┼───┼──────────────────────────┤
│ 0 │ 0 │ 0 │                        0 │
├───┼───┼───┼──────────────────────────┤
│ 0 │ 0 │ 1 │                        0 │
├───┼───┼───┼──────────────────────────┤
│ 0 │ 1 │ 0 │                        0 │
├───┼───┼───┼──────────────────────────┤
│ 0 │ 1 │ 1 │                        1 │
├───┼───┼───┼──────────────────────────┤
│ 1 │ 0 │ 0 │                        1 │
├───┼───┼───┼──────────────────────────┤
│ 1 │ 0 │ 1 │                        0 │
├───┼───┼───┼──────────────────────────┤
│ 1 │ 1 │ 0 │                        1 │
├───┼───┼───┼──────────────────────────┤
│ 1 │ 1 │ 1 │                        1 │
└───┴───┴───┴──────────────────────────┘