Interactive Formal Methods Platform

Project By G1orga
ProofLab

Project for Theoretical Foundatios Of Computer Science By Lasha Giorgadze. Purely done on python backend

Launch Simulator View Documentation

3

Modules

DFA/NFA

Automata Types

NNF·CNF·DNF

Normal Forms

100%

Python Backend

All Modules

Automata Simulator

Simulate DFA and NFA machines step-by-step. Visualize state transitions, trace execution paths, and check string acceptance.

DFA NFA ε-closure Graph Viz

Resolution Solver

Apply the resolution method to propositional logic. Automatically converts to CNF, extracts clauses, and proves satisfiability.

CNF Clauses Resolution SAT

Formula Transformer

Convert any propositional formula to NNF, CNF, or DNF with step-by-step transformations and truth table generation.

NNF CNF DNF Truth Table