Minimalizace normálních tvarů

Abstract

Cílem této bakalářské práce je vytvořit program, který uživateli vrátí, na základě jím zadané formule výrokové logiky, minimální disjunktivní, resp. konjunktivní normální tvary této výrokové formule. Přípravné analytické práce, které zahrnují definování pojmu minimální normální tvar výrokové formule a popis algoritmu Quine-McCluskey, který tento tvar hledá, jsou následovány návrhem formálního jazyka v rámci ASCII, aby bylo možné zachytit syntaxi výrokových formulí, a návrhem programu jako takového. Implementace syntaktického analyzátoru formule výrokové logiky, hledání disjunktivního, resp. konjunktivního normálního tvaru včetně vlastní minimalizace je provedena v programovacím jazyce C.

The aim of this bachelor's thesis is to create a program that returns to the user, based on a given formula of propositional logic, the minimal disjunctive, resp. conjunctive normal forms of this propositional formula. Preparatory analytical work, which included defining the notion of the minimal normal form of a propositional formula and describing the Quine-McCluskey's algorithm searching for that form, is followed by the design of a formal ASCII language to capture the syntax of propositional formulas and the design of the program as such. The implementation of a parser of propositional formulas, a search for the disjunctive, resp. conjunctive normal form, including the minimization itself, is done using the programming language C.