Tseytin transformation
Anglisy[Ovay]
Anarana
Tseytin transformation
- fiovana izay, nomena ny lojika mitambatra tsy voafaritra tsara, mamokatra ny equisatisfiable Boolean raikipohy amin'ny endrika ara-dalàna conjunctive, ny halavan'ny ny raikipohy dia linear ao amin'ny haben'ny ny faritra
Tsiahy
- Ity pejy ity dia nadika avy amin'ny pejy Tseytin transformation tao amin'ny Wikibolana amin'ny teny anglisy. (lisitry ny mpandray anjara)