Эксперт

Сергей

Задать вопрос

Мы готовы помочь Вам.

Дизъюнктивная нормальная форма, совершенная, сокращенная и кратчайшая ДНФ.

​

Схема работы (решение каждой из двенадцати задач начинать с постановки задачи и делать вывод из сравнения матриц Грея, полученных разными способами; F обозначает формулу без лишних скобок, (F) с недостающими скобками).

Задания (формула F)

1. x → y → (x̅ ⊕ z) → x y ∨ x y̅ z̄
2. z → y → (z ∼ x) → y z ∨ x̅ y̅ z̄
3. x → y z → (x̅ ∼ z̄) ∨ x̅ y̅ z
4. y z ← x → (x ∼ z̄) ∨ x y z̄
5. z ∼ y → (x ↓ y z) ∨ x y̅ z
6. y ← x → (z̄ ⊕ x) → x y ∨ x̅ y̅ z̄
7. y z ← x → (z ⊕ x) ∨ x y̅ z
8. x → y z → (x ⊕ z) ∨ x̅ y̅ z
9. z ∼ y → (x̅ ← y z) ∨ x̅ y̅ z̄
10. x ← y z / (x ∼ y) ∨ x y z
11. x y → z / (z ∼ y) ∨ x y z
12. z̄ ⊕ y → (x ↓ y z) ∨ x y z̄
13. y ∼ z → (y z → x̅) ∨ x y z̄
14. y ← x → (z ∼ x̅) → x y ∨ x y̅ z̄
15. x ← y z → (x̅ ∼ y) ∨ x y z

1. x ← y z̄ → (x ∼ y̅) ∨ x y z̄
2. z̄ ⊕ y̅ → (y z → x̅) ∨ x y̅ z
3. y z / x̅ → (x ⊕ y) ∨ x y z
4. x y → z / (z̄ ⊕ y) ∨ x y z
5. z̄ ⊕ y̅ → (x ↓ y̅ z) ∨ x y z
6. x ← y z / (x ⊕ y̅) ∨ x y z
7. z̄ ⊕ y → (x̅ ← y z) ∨ x̅ y z̄
8. x y → z / (z̄ ⊕ y) ∨ x y z
9. y z / x̅ → (x ⊕ y) ∨ x y z
10. x / y̅ → (x ⊕ z) → x y ∨ x y̅ z̄
11. x / y → (x ⊕ z) → x y ∨ x̅ y̅ z̄
12. y z ← x → (z ⊕ x) ∨ x y̅ z
13. y ← x → (z ∼ x̅) → x y ∨ x y̅ z̄
14. z̄ ⊕ y → (y z → x̅) ∨ x̅ y̅ z̄
15. y z → x / (x ⊕ z̄) ∨ x y z