Examples

Browse through example boolean formulas to learn and test the solver

Boolean Formula Examples

Select a category or browse all examples

Simple AND

Basic

Both a and b must be true

a & b
Click copy to use

Simple OR

Basic

At least one of a or b must be true

a | b
Click copy to use

Implication

Intermediate

Complex implication chain

(a & b | ~c) -> d <-> e
Click copy to use

Contradiction

Basic

Always unsatisfiable

a & ~a
Click copy to use

De Morgan

Advanced

De Morgan's law example

~(a & b) <-> (~a | ~b)
Click copy to use

Zazavavindrano

Advanced

Malagasy folklore puzzle

zazavavindrano & zazavavindrano -> ((~ swim_warm -> red) & (blue | ~ red))
Click copy to use

Complex Logic

Intermediate

Nested operations

~(a -> b|c) <-> ~c&d
Click copy to use

Distributive Law

Advanced

Distributive law example

a & (b | c) <-> (a & b) | (a & c)
Click copy to use

How to Use Examples

1

Copy Formula

Click the copy icon or "Use in Solver" button to copy the formula

2

Go to Solver

Navigate to the solver page from the menu or use the button below

3

Paste & Solve

Paste the formula in the solver and click "Solve SAT" to see the result

Go to Solver