Данный солвер строит конъюнктивную нормальную форму для указанного выражения. Решение выдается в требуемом для курса формате.

Поддерживаемые операторы приведены в таблице ниже в порядке возрастания приоритета.

Оператор	Импликация	Исключающее ИЛИ	Дизъюнкция	Конъюнкция	Отрицание
Запись	->	+	|	&	!

В качестве имени переменной можно использовать любую комбинацию латинских букв и цифр, за исключением букв X, F, G, U, W, R.

Можно использовать любые скобки в выражении - фигурные, квадратные и круглые. Выражения в скобках вычисляются с наивысшим приоритетом.

Пример формулы: ((x & y) + (x | y)) -> z.