Mathematical Foundation of a Functional Implementation of the CNF Algorithm

The conjunctive normal form (CNF) algorithm is one of the best known and most widely used algorithms in classical logic and its applications. In its algebraic approach, it makes use in a loop of a certain well-defined operation related to the “distributivity” of logical disjunction versus conjunctio...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Algorithms Ročník 16; číslo 10; s. 459
Hlavní autoři:	García-Olmedo, Francisco Miguel, García-Miranda, Jesús, González-Rodelas, Pedro
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Basel MDPI AG 01.10.2023
Témata:	Algorithms Associativity Boolean Boolean algebra Canonical forms classical logic CNF Horn clauses Iterative methods Language Logic Mathematical analysis reverse engineering SAT problem Semantics Germany
ISSN:	1999-4893, 1999-4893
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!