SAT Solver
Check satisfiability of boolean expressions. Finds all minterms for ≤10 variables.
Syntax
a–z / A–Z: variables (case-insensitive) !: NOT &: AND |: OR ^: XOR (...): groupingExamples:
Variables: 0
Check satisfiability of boolean expressions. Finds all minterms for ≤10 variables.
Syntax
a–z / A–Z: variables (case-insensitive) !: NOT &: AND |: OR ^: XOR (...): grouping