Это третий тип задания, т.е. поиск ответа для любой формулы.
------------------------------------------------
Ввод данных производится из файла 1.txt
Пример ввода данных:

-z*-y+x*z+-x*-z // Формула через ||, &&, !
2 // Количество строк, данных в таблице истинности
0 # 0 0 // # обозначает пропуск.
# # 0 0
------------------------------------------------
Ответ будет выведен в консоль.