Examples
Examples
Try the starting example
- First Boolean expression
- A & (B | C)
- Second Boolean expression
- (A & B) | (A & C)
- Variable count
- 3
- Equivalence result
- Equivalent
- First counterexample
- None
Try another scenario
- First Boolean expression
- A & (B | C)
- Second Boolean expression
- A | B | C
- Variable count
- 3
- Equivalence result
- Not equivalent
- First counterexample
- 1
Calculation method
Calculation method
Equivalence result
Exhaust all 2^N assignments with restricted parser.
First counterexample
Zero-based binary assignment or none.
Symbols and units
- a
- First Boolean expression
- b
- Second Boolean expression
- c
- Variable count
Use the units shown. A list keeps the order in which you enter its values. The symbol ^ means “raised to the power of”.
Assumptions & limits
Assumptions & limits
- Two restricted expressions, variable limit. Returns Equivalence or counterexample. All coefficients and observations are user supplied; results describe only the stated mathematical model. Quantities are deterministic calculations from supplied observations and assumptions; no external data is fetched. Supported limits: Finite inputs only; numeric fields bounded as labelled. Lists and JSON records are limited to 256 entries unless a stricter tool bound is stated. No automatic design approval, legal conclusion, treatment recommendation or safety certification. Variable count: minimum 1, maximum 8.
Are these inputs private?
These calculations run in your browser. A shared link contains the values you choose to share. Only questions submitted to the separate AI finder are sent to OpenAI.