This is a tool for the resolution of logical sentences in the form of a binary tree, by means of the truth table. It is used for solving problems in mathematical logic in a variety of cases.

The program consists of a logical calculator that allows you to create a truth table for any sentence. The truth table provides you with the result of the propositional operation, it is used to determine the logical value of composite propositions and can be used for solving different logical problems.

The program allows you to get the logic of any sentence by way of a binary tree. The tree is formed by connecting each pair of concepts that must be connected by means of a common connective symbol.