ToolJovia
Education

Boolean Truth Table Workbench

Enumerate bounded propositional truth tables and find real counterexamples to formula equivalence.

✓ Browser-local processing
Processed in this tab. Up to 100,000 characters unless this tool states a smaller limit.

Loading tool…

How to use Boolean Truth Table Workbench

Parse an explicit data-only Boolean grammar and evaluate every assignment for up to8 variables. The result includes selected subexpression columns,classification and an actual differing assignment when two formulas are inequivalent.

  1. Enter input, comparison expression (optional).
  2. Choose the settings for boolean truth table workbench, then run the tool.
  3. Review the result and any limitations before copying or downloading it.

Good to know

  • 5000 characters and200 tokens per formula;8 total variables,AST depth30,256 assignments and20 displayed subexpression columns.
  • ASCII variable names are case-sensitive. Operator keywords are case-insensitive;aliases !,&,^,|,->,<-> are supported. This is propositional two-valued logic,not JavaScript,quantified logic or a scalable SAT solver.
  • Processing is local. Output is limited to 1,000,000 text characters unless a stricter file limit is stated.

Common questions

How are operator precedence and associativity chosen?

NOT binds strongest,then AND,XOR,OR,IMPLIES,IFF. Implication associates right;other binary operators associate left. Parentheses override this explicit grammar.

Is this input sent to a server?

No. The application processes this input inside your browser tab and does not save it to persistent storage.

Keep going with related tools

All education →
Developer

Regex Tester

Test JavaScript regular expressions in an isolated worker with a 250 ms timeout and readable match positions.

Math

Combinations and Permutations Calculator

Count selections and ordered arrangements without repetition using exact integer arithmetic.

Text

Binary Text Converter

Encode Unicode text as UTF-8 binary bytes or decode valid 8-bit UTF-8 binary back to text.

Data

Venn Set Diagram Builder

Turn two or three exact member lists and an explicit universe into a Venn SVG, complete region roster and printable comparison.

Data

Finite Decision Table Auditor

Enumerate declared categorical domains and show every rule gap, overlap, conflicting outcome and selected-rule witness.

Education

Small Boolean Minimization Workbench

Turn a small 0/1/X output specification into a minimum-literal two-level Boolean form with complete truth-row witnesses.