Podobnost formulí ve VL

Abstract

Tato bakalářská práce se zabývá problematikou výrokových formulí, jejich porovnáním a vyhodnocením jejich vzájemné podobnosti. Je v ní uveden základní popis výrokové logiky a obecných pravidel ekvivalentních úprav formulí ve výrokové logice. Jádro této bakalářské práce představuje navržený algoritmus pro porovnání dvou výrokových formulí včetně jeho podrobného popisu a grafického znázornění. Navržený algoritmus je dále implementován v programovacím jazyce C#. Výsledný program dopomohl k otestování správné funkčnosti a doladění navrhovaného algoritmu do jeho konečné podoby. Tato bakalářská práce obsahuje také popis některých částí této implementace.

This bachelor thesis deals with propositional formulas, their comparing and evaluating their mutual similarities. It contains a basic description of propositional logic and the general rules for equivalent adjustment of propositional formulas. The core of this thesis presents an algorithm designed for comparing two propositional formulas, including a detailed description and its graphical representation. The proposed algorithm is also implemented in programming language C #. The resulting program helped to test the proper function and tuning of the proposed algorithm to its final form. This thesis also contains a description of certain segments of this implementation.