Наборы значений трех аргументов X, Y и Z булевой функции f упорядочены лексикографически. Ее значения задаются следующей последовательностью 8 нулей и единиц: f=(1100 0111).Какая из следующих формул является совершенной конъюнктивной нормальной формой, задающей эту функцию?
(Отметьте один правильный вариант ответа.)
Варианты ответа
(¬X ∨ Y ∨ Z) ∧ (X ∨¬Y ∨ ¬Z) ∧ (X ∨ Y ∨ Z)
(¬X ∧ ¬Y ∧¬Z) ∨ (X ∧ Y ∧ ¬Z) ∨ (¬X ∧ ¬Y ∧ Z)
(¬X ∨ Y ∨ Z) ∧ (X ∨¬Y ∨ Z) ∧ (X ∨ ¬Y ∨¬ Z)(Верный ответ)
(X ∨ ¬Y) ∧ (¬X ∨ Y ∨ Z)
(¬X ∨ Y ∨ Z) ∧ (X ∨ Y ∨ ¬ Z) ∧ (¬ X ∨ ¬Y ∨ Z)