×
  • 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. Программа на обработку массива
  • Спасибо за внимание
  • Разбор задачи № 23. Системы логических уравнений

    Теория по задаче

    Разбор текущей задачи

    Условие задачи

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

    (¬x1 v y1) → (¬x2 ∧ y2) = 1

    (¬x2 v y2) → (¬x3 ∧ y3) = 1

    .................

    (¬x6 v y6) → (¬x7 ∧ y7) = 1

    В качестве ответа нужно указать только количество таких наборов