2) Исследуем левую часть внешней конъюнкции. Эквивалентность по приоритету выполняется в последнюю очередь. Следовательно, для равенства 1 выражения в скобке, необходимо, чтобы выделенные выражения (-х*у и z) имели одинаковый знак. Подбираем наборы, когда обе части равны 0, затем, когда обе части равны 1.

3) Собираем значения, полученные в 1 и 2, в одну табличку. Имеем 4 набора для 4 переменных, при которых выражение принимает значение 1.

4) Выписываем табличку из задания и найденные наборы.

5) Понимаем, что w может быть только в третьем столбце. В остальных есть хотя бы один 0, поэтому они не подходят для w.

6) В первом столбце 2 нуля, во втором - 3, в четвертом - 1. В столбце х - 2 нуля, у - 2 нуля, z - 3 нуля. Следовательно z может быть только во втором столбце фрагмента таблицы из задания. Если будет где-то еще, то один из столбцов x или y разместить не получится.

7) Заметим, что строка 2 в исследуемом фрагменте таблицы имеет значения 11 для zw. Найдем её в таблице, которую получили при исследовании.

8) Для этой строки x = 0, y = 1.

9) Значит четвертый столбец в исследуемом фрагменте таблицы истинности - х, первый- y.

Ответ: yzwx.

Задача 15.92 из сборника К.Ю. Полякова

ПОИСК МИНИМАЛЬНОГО МНОЖЕСТВА

1) В качестве начального множества берем пустое.

2) Если находим элемент, при котором выражение имеет ненужный знак (0 при искомой 1 или наоборот), то добавляем данное значение в множество.

3) Профит, в нашем множестве теперь только нужные элементы.

Задача 15.107 из сборника К.Ю. Полякова

ПОИСК МАКСИМАЛЬНОГО МНОЖЕСТВА

1) В качестве начального множества берем множество, в котором элементов заведомо больше, чем в заданных.

2) Если находим элемент, при котором выражение имеет ненужный знак (0 при искомой 1 или наоборот), то удаляем данное значение из множества.

3) Вуа-ля, в нашем множестве остались только подходящие элементы.

PS: да, такой способ чувствителен к концам промежутка. Например, когда ищется длина промежутков типа [a; b) или (a; b].