Orion Nelson

Blog



2019 March Well-Formed Formula Calculator

    WFF Calculator was a project I created for the sole purpose of breaking down formulas into their respective construction sequence and then use the construction sequence to generate the truth table. This function proves incredibly useful as it can easily break down formulas that are way too complex to immediately understand using its set of rules to evaluate the truth table of a formula and test axioms.

  • Checks for arguements of each operator
  • Generates construction sequence
  • Makes truth table from construction sequence
  • Try it out in flask by clicking the square below


  • Truth Table Calculator