/vyrologic

🧠💡 Web app to calculate everything related to propositional-calculus. Made for myself to pass TZI subject at Mendel University, but shared for everyone else for free to use it as well!

Primary LanguageTypeScriptMIT LicenseMIT

Vyrologic

Features

  • MathJax (LaTeX) - math display support
  • Full truth table
    • Switch view to start var values by 1
  • Non-minimized DNF and CNF (KNF)
  • Tautology or Contradiction check
  • Minimized DNF and CNF (KNF)
  • Infix/Prefix/Postfix conversion
  • Evaluate any form (Infix/Prefix/Postfix)
  • Reformulate using certain connectives
  • Negation of formula
  • Visual tutorials
    • Truth table
    • DNF/CNF
    • Infix/Prefix/Postfix conversion
    • Negation