Matt-Gracz / ManipuLogic_PROTOTYPE

An automated "logic calculator" written in Python. Future features: 1st/2nd order logic, automate proofs, etc...
GNU General Public License v3.0
0 stars 0 forks source link

Account for order of operations properly #4

Open Matt-Gracz opened 5 years ago

Matt-Gracz commented 5 years ago

Right now operators are applied naiively left-to-right instead of taking into account the standard order of operations: (negation, conjunction, disjunction)