The package strictly* follows the operator precedence found here.
We are using ANTLR to parse and transform our custom boolean algebra syntax and rollup to bundle our JavaScript.
To install the required dependencies, run the following commands:
pip install antlr4-tools and npm install
The grammar of our boolean algebra syntax can be found in Bora.g4. After modifying the grammar file, regenerate
the parser code for both TypeScript and Python with npm run antlr.
With python -m python.qpy.truthtable.formula._parser you can test the parser.
- * Currently,
p => q => rgets parsed to((p => q) => r)and not(p => (q => r)). The same is true for the equivalent-operator. - Generate random but good and valid formulas.
- Restricting formula input fields to a set of allowed operations / symbols. (Whitelist, blacklist or both?)
- Remove / reorder intermediate formula columns.
- Use intermediate formulas for scoring.