Regarding the PC version, write to the mail
This program is not designed for beginners in this topic.
Using the built-in functionality of the program, you can create and calculate a function. As a result of the program, we get for example
F = ((B & C &! A) & (B & C & A))
The conclusion of the program, its completion is the truth table.