Custom Boolean algebra intepreter powered by OhmJS, KaTeX, and visx!

~Project Onyx | Visualize, Learn and Explorer Boolean Algebra

Powerful and interactive Boolean algebra visualizer that lets you examine the syntax tree, the truth table, equivalence, rewrite operators, and check for tautology (and contradition). Powered by OhmJS, KaTeX, and visx!

~Evaluate Expressions

~Compare Truth Value Between Expressions

~Check for Tautology and Contradiction

~Rewrite Expressions using Given Operators