Содержание
- 2. 1. Системы логических уравнений, содержащие однотипные уравнения Источник: http://inf.reshuege.ru/test?theme=287
- 3. Задание №1 Сколько существует различных наборов значений логических переменных x1, х2, хЗ, х4, х5, хб, х7,
- 4. Решение Сделаем замену переменных: (x1 —> х2) = y1 (хЗ —> х4) = y2 (х5 —>
- 5. Решение (y1 —> y2) ∧ (y2 —> y3) ∧ (y3 —> y4) = 1 Импликация ложна
- 6. Решение Не забываем, что мы меняли переменную и y1 = x1 —> x2 и т.д. Разбираем
- 7. Решение 2. y1 = 0, y2 = 0, y3 = 0, y4 = 1. 2.1. y1
- 8. Решение 4. y1 = 0, y2 = 1, y3 = 1, y4 = 1. 4.1. y1
- 9. Итак, что мы сделали? Сделали замену переменных. Упростили систему до одного уравнения. Решили это уравнение. Разобрали
- 10. Задание №2 Сколько существует различных наборов значений логических переменных x1, x2, x3, x4, x5, x6, x7,
- 11. Решение Заметим, что система состоит из идентичных уравнений. Выпишем первое и разберем его: ((x1 ≡ x2)
- 12. Решение Если (x1 ≡ x2) = 0, (x3 ≡ x4) = 1, тогда х1х2х3х4 = 0
- 13. Решение Второе уравнение: ((x3 ≡ x4) ∨ (x5 ≡ x6)) ∧ (¬(x3 ≡ x4) ∨ ¬(x5
- 14. Решение Третье уравнение: ((x5 ≡ x6) ∨ (x7 ≡ x8)) ∧ (¬(x5 ≡ x6) ∨ ¬(x7
- 15. Итак, что мы сделали? Разобрали первое уравнение системы. Разобрали все случаи, построили дерево. Разобрали второе уравнение,
- 16. 2. Системы логических уравнений, содержащие неоднотипные уравнения Источник: http://inf.reshuege.ru/test?theme=264
- 17. Задание №3 Сколько существует различных наборов значений логических переменных x1, x2, x3, x4, x5, y1, y2,
- 18. Решение Решим последнее логическое уравнение, т.к. оно самое простое и даст толчок всему решению: x1 ∨
- 19. Решение (x1 → x2) ∧ (x2 → x3) ∧ (x3 → x4) ∧ (x4 → x5
- 20. Решение (x1 → x2) ∧ (x2 → x3) ∧ (x3 → x4) ∧ (x4 → x5
- 21. Решение (x1 → x2) ∧ (x2 → x3) ∧ (x3 → x4) ∧ (x4 → x5
- 22. Итак, что мы сделали? Решили простое уравнение, тем самым найдя глобальные случаи. Разобрали каждый случай. Сложили
- 23. Задание №4 Сколько существует различных наборов значений логических переменных x1, x2, x3, x4, y1, y2 y3,
- 24. Решение Для начала преобразуем второе уравнение: (¬y1 ∨ y2) ∧ (¬y2 ∨ y3) ∧ (¬y3 ∨
- 25. Решение Выпишем все решения (они позже пригодятся): (x1 → x2) ∧ (x2 → x3) ∧ (x3
- 26. Решение Составим таблицу соответствий наборов:
- 27. Решение Следовательно, первому набору решений «y» (1111) соответствует 1 набор решений «х». второму набору решений «y»
- 29. Скачать презентацию