arrow_leftcogAutomata & Grammar Playground
Made for CS Theory course project
arrow_switchNNF, CNF & DNF AST Transformer

Allowed operators: ~ NOT, & AND, | OR, -> IMPLIES, <-> EQUIVALENCE. Parentheses are respected, and implication is handled as right-associative.

© 2026 Luka Mamukashvili

The FatCow Icon set was created by FatCow Web Hosting.It's licensed free of charge under the creative_commons Creative Commons Attribution 3.0 License.