boolean-formula-parser

A stupid utility to parse boolean formulas and print thruth tables for me in university.

Examples:

X|(¬X)
0|1
1|0

Y|X|(Y←X)
0|0|1
1|0|1
0|1|0
1|1|1

X|Y|(X→Y)
0|0|1
1|0|0
0|1|1
1|1|1

Z|X|(Z→¬X)
0|0|1
1|0|1
0|1|1
1|1|0

X|Y|Z|((X→Y)v(Z→¬X))
0|0|0|1
1|0|0|1
0|1|0|1
1|1|0|1
0|0|1|1
1|0|1|0
0|1|1|1
1|1|1|1

A|B|C|(A^(Bv¬C))
0|0|0|0
1|0|0|1
0|1|0|0
1|1|0|1
0|0|1|0
1|0|1|0
0|1|1|0
1|1|1|1

A|B|C|(A^Bv¬C)
0|0|0|1
1|0|0|1
0|1|0|1
1|1|0|1
0|0|1|0
1|0|1|0
0|1|1|0
1|1|1|1