arrow_leftcogAutomata & Grammar Playground
Made for CS Theory course project
sitemapPropositional Logic Resolution GraphClassic proof search

Enter clauses separated by commas. Use | for OR and ~ for NOT. Tautological clauses are ignored automatically.

© 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.