All challenges

Optimize a Boolean assignment for a compact three-literal CNF instance.

Assign Boolean variables to satisfy as many two-literal clauses as possible.

Optimize a Boolean assignment for a medium three-literal CNF instance.

Assign Boolean variables to satisfy as many three-literal clauses as possible.

Synthesize an AND/OR expression matching each supplied boolean truth table.