- 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
-
Notifications
You must be signed in to change notification settings - Fork 0
🧠💡 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!
License
KrazyManJ/vyrologic
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
 |  | |||
Repository files navigation
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!