Решение логических уравнений.

написать не большую програмку, которая будет решать логические уравнения:

В школе по информатике проходили?:

если (не x2 не x3 и x1 не x2) ну в таком принципе.

пример в аттаче. (но не до конца)

Нужно выдавать решение и промежуточные выражения.

сроки до 22 декабря.