Размер шрифта: A AA Изображения Выключить Включить Цвет сайта Ц Ц Ц Х

23 - СИСТЕМЫ ЛОГИЧЕСКИХ УРАВНЕНИЙ

Решение систем логических уравнений методом отображения (авторы Мирончик Ел.А., Мирончик Ек.А.)

Видеоурок с разбором решения задания № 23 (2015).

Онлайн-тест "B15 - Системы логических уравнений" (сайт К.Полякова)

Тренировочные упражнения:

1. (КИМ-2014). Сколько существует различных наборов значений логических переменных x1, x2, … x10, которые удовлетворяют всем перечисленным ниже условиям?
¬(x1 ≡ x2Λ ( (x1 Λ ¬x3V (¬x1 Λ x3) ) = 0
¬(x2 ≡ x3Λ ( (x2 Λ ¬x4V (¬x2 Λ x4) ) = 0

¬(x8 ≡ x9Λ ( (x8 Λ ¬x10V (¬x8 Λ x10) ) = 0
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, … x10 при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.