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

• (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) ∧ (X ∨¬Y ∨ Z) ∧ (X ∨ ¬Y ∨¬ Z)

Другие предметы Университет Булевые функции и нормальные формы дискретная математика БУЛЕВЫЕ ФУНКЦИИ конъюнктивная нормальная форма университет логические операции формулы значения аргументов лексикографический порядок Новый