This program tries to solve step by step (it is for students) a logical expression.