Класс, давай разберёмся по шагам и дам подсказку, чтобы ты сам смог решить.
Подсказка
- Сначала выпиши все наборы переменных, при которых F = 1, в порядке z, x, y, w. По формуле F = ¬((z ∨ x) → (y ∧ w)) ∧ (z → w) таких наборов будет 5: (0,1,0,0), (0,1,1,0), (0,1,0,1), (1,0,0,1), (1,1,0,1).
- Затем возьми данный частично заполненный фрагмент таблицы истинности и попробуй сопоставить каждую строкию с одним из этих 4-ку в порядке z,x,y,w. В той строке, где фиксированы именно те значения переменных, соответствующая 4-ка и будет совпадать.
- По итоговому сопоставлению увидишь, какой столбец соответствует какому переменному: обычно первый столбец окажется z, второй — x, третий — y, четвёртый — w. Именно так и формируется ответ в виде строки букв без пробелов: zxyw.
Важно: в твоём сообщении указан ответ “yzxw”. По разбору выше и по официальному решению порядок должен быть zxyw (то есть первый столбец — z, второй — x, третий — y, четвёртый — w). Поэтому “yzxw” не подходит.
Если хочешь, могу проверить конкретные строки фрагмента по твоему фото/скану таблицы и проверить сопоставления пошагово.
Пожалуйста, оцените мой ответ лайком или дизлайком.