Project

Truth Table, CNF & DNF Generator

Enter a boolean logic expression to generate its truth table, Conjunctive Normal Form, and Disjunctive Normal Form.

Supported Operators

~ NOT

& AND

| OR

-> IMPLIES

<-> EQUIVALENCE

Example: (A & B) -> C — press Enter or click Generate