Изменения

<br>

*После этого записываем каждый прямоугольник в виде конъюнкта, в котором будут указаны только те переменные, которые одинаковы для всех ячеек этого прямоугольника:&nbsp;<math>Y \and (X \and \neg Y \and W) \and (X \and \neg Y \and \neg Z \and \neg W)</math>