Podobnost formulí ve VL

Abstract

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.