The task for the solution of logical equations is one of the most difficult in the exam on computer. The solution of such systems checks not only the knowledge of logical operations and numeracy, but also the ability to reason, to build a logical chain. It is for the latter skills training and the application was created.

The most popular method is a display method of solutions, requires construction of a truth table for 2-yi, 3-and 4-dx dx logical variables.
Automatic generation of a truth table allows you to skip the boring routine of stage and focus on connecting the last equations method of reasoning.

You can copy the system of logical equations in the site or document and paste into the program. There is support for a large number of Unicode characters for logical operations: ∧, ∨, ≡, ¬, →, ⊕, and more. et al.

In the appendix there is the problem book. For each system listed complexity. You can sort your tasks by easy to difficult and are checked resolved. Also there is the ability to save in the problem book their own systems.

There are no restrictions on the number of variables and nested parentheses. There are clues about the mistakes made in the expression, whether it be missed brace or a logical operator.