Hardprob/Minimum Distinguished Ones

Материал из DISCOPAL
Перейти к: навигация, поиск


  • Непересекающиеся множества булевых переменных X,Z, коллекция C дизъюнкций не больше чем три литерала, где каждый литерал переменная или отрицание из X∪Z.
  • Найти присваивание для X и Z, чтобы все скобки в C выполнялись.
  • Минимизировать число переменных из Z, которые будут установлены в «истину».

Задача в лаб22 (рид-онли просмотр)


[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.