Logical Expressions 5.2

Logical Expressions - The program is able to perform very complex and time-consuming transformations that take a person several minutes, in a fraction of a second. Usually, the result obtained manually cannot be simplified, although there are rare exceptions.

From the author:
'I originally wrote this program when we were taking logic algebra in the 11th grade in computer science. At first, it was a simple compiler of logical expressions and a truth table calculator. It worked from the command line in text mode. Then it became possible to automatically perform the simplest equivalent transformations, and so on.

The institute once again passed the algebra of logic, the program was modified to perform the Quine algorithm- (Someone else's) minimization of functions. More precisely, to perform BDZ in discrete mathematics, because the program outputs a solution that can be rewritten and passed, with small manual additions.'