×
  • 1. Системы счисления
  • 2. Логические функции
  • 3. Анализ информационных моделей
  • 4. Файловая система и базы данных
  • 5. Кодирование и декодирование. Условие Фано
  • 6. Выполнение и анализ простых алгоритмов
  • 7. Адресация в электронных таблицах
  • 8. Анализ программ с циклами
  • 9. Скорость передачи, объем памяти, время передачи
  • 10. Кодирование, комбинаторика
  • 11. Рекурсивные алгоритмы
  • 12. Адресация в сетях TCP/IP
  • 13. Вычисление количества информации
  • 14. Анализ и выполнение алгоритмов для исполнителя
  • 15. Поиск путей в графе
  • 16. Позиционные системы счисления
  • 17. Запросы в поисковых системах
  • 18. Логические выражения и множества
  • 19. Анализ программы по работе с массивом
  • 20. Анализ программ с циклами
  • 21. Анализ программ с циклами и подпрограммами
  • 22. Динамическое программирование
  • 23. Системы логических уравнений
  • 24. Исправление фрагмента программы и ошибок
  • 25. Программа на обработку массива
  • Спасибо за внимание
  • Условие задачи

    311) Сколько всего различных наборов значений логических перемененных x1, x2 ... x7, x8, которые удовлетворяют системе уравнений?

    (x1 ≡ ¬x2) ∨ (¬x1 ∧ x3) ∨ ¬(x1 ≡ x3) = 1

    (x2 ≡ ¬x3) ∨ (¬x2 ∧ x4) ∨ ¬(x2 ≡ x4) = 1

    (x3 ≡ ¬x4) ∨ (¬x3 ∧ x5) ∨ ¬(x3 ≡ x5) = 1

    (x4 ≡ ¬x5) ∨ (¬x4 ∧ x6) ∨ ¬(x4 ≡ x6) = 1)

    (x5 ≡ ¬x6) ∨ (¬x5 ∧ x7) ∨ ¬(x5 ≡ x7) = 1

    (x6 ≡ ¬x7) ∨ (¬x6 ∧ x8) ∨ ¬(x6 ≡ x8) = 1

    В ответе не нужно перечислять все различные наборы значений переменных, удолетворяющих системе уравнений. В качестве ответа нужно указать количество таких наборов


    Комментарии