https://github.com/candh/truth-table-generator

generates a truth table from a boolean expression
https://github.com/candh/truth-table-generator

axioms logic prepositions proofs truth truth-tables

Last synced: 7 months ago
JSON representation

generates a truth table from a boolean expression

• Host: GitHub
• URL: https://github.com/candh/truth-table-generator
• Owner: candh
• Created: 2018-04-09T00:28:59.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-04-09T00:40:29.000Z (over 7 years ago)
• Last Synced: 2025-01-23T09:11:23.395Z (9 months ago)
• Topics: axioms, logic, prepositions, proofs, truth, truth-tables
• Language: Python
• Homepage:
• Size: 1.95 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
challenge from last semester from a professor. i couldn't solve it then because i wasn't aware of the power of the stack.

works okay...

run with `-a ` to sort the operands alphabetically

- supports brackets also

things that you shouldn't do

- run with brackets that are not parentheses

operators are

`"=" BiConditional`,

`">" Implies`,

`"+" Or`,

`"&" And`,

`"~" Not`

all tests runs are confirmed by this

[http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/](http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/)

![outputscreen](https://i.imgur.com/W6CoLT5.png)