Language of logic algebra

The language of the algebra of logic can be used to solve a large number of substantial logical task. Solving such problems using logical reasoning is quite difficult. If we apply the apparatus of logic algebra to solving such problems, then all the arguments can be replaced with simple formalized calculations that guarantee the correctness of the answer.

But before you apply the formalized approach, the original arguments need to properly translate to my language of algebra of logic. To solve this problem, we can use a table of relations between the most common expressions of natural language and formulas of logic algebra.

When translating statements of natural language into the language of logic algebra, you must first select the elementary statements and mark them with symbols so that the full text of the composite statement can be restored using these symbols. We should strive to introduce a minimum number of elementary statements, trying to Express some elementary statements through others.