Giters

KrazyManJ / 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!

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

client-sidepropositional-calculuspropositional-logicschool-educationwebapp

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

About

🧠💡 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!

client-sidepropositional-calculuspropositional-logicschool-educationwebapp

License:MIT License

Languages

Language:TypeScript 98.0%Language:JavaScript 1.2%Language:CSS 0.4%Language:SCSS 0.4%