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

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

Другие предметы Университет Булевые функции и нормальные формы дискретная математика булевы функции конъюнктивная нормальная форма университет логические операции значения аргументов формулы лексикографический порядок Новый