Module 04

Formula Transformer

Convert any propositional logic formula to NNF, CNF, and DNF with complete step-by-step derivations and truth table verification.

NNF · CNF · DNF
⟺
Formula Input
ℹ
Operators: ~ & | -> <->
Variables: any lowercase identifiers: p, q, r
Examples:
⟺
Awaiting formula
Enter a formula to see NNF, CNF, DNF transformations and truth table