Дизъюнктом называется набор логических переменных или их отрицаний, соединенных связкой «ИЛИ». Например, – дизъюнкт, состоящий из двух переменных. Дизъюнкт принимает истинное значение, то есть называется выполнимым, когда истинна хотя бы одна его составляющая. В данном случае дизъюнкт будет истинен, если истинно значение переменной или ложно значение переменной .

Пусть задан набор трех переменных дизъюнкций на конечном множестве переменных . Можно заметить, что определенный выбор истинности или ложности каждого элемента из приводит к выполнимости конкретного подмножества элементов из C.

Задача

Ваша задача – определить значение всех переменных из U таким образом, чтобы выполнимыми стали как можно больше дизъюнктов из C.