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

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

    ((x1 ≡ x2) v (x3 ≡ x4)) ∧ (¬((x1 ≡ x2) → (x3 ≡ x4))) = 1

    ((x5 ≡ x6) v (x7 ≡ x8)) ∧ (¬((x5 ≡ x6) → (x7 ≡ x8))) = 1

    ((x1 ≡ x2) v (x7 ≡ x8)) ∧ (¬((x1 ≡ x2) → (x7 ≡ x8))) = 1

    ((x6 ≡ x8) v (x3 ≡ x4)) ∧ (¬((x5 ≡ x6) → (x3 ≡ x4))) = 1

    x9 ≡ x10 = 1

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


    Комментарии