Подготовка к государственной итоговой аттестации по информатике

Задание 2. (ДЕМО-2023)

Миша заполнял таблицу истинности логической функции F:

¬(y → x) \/ (z → w) \/ ¬z,  

но  успел  заполнить  лишь  фрагмент  из  трёх  различных  её  строк,  даже не указав,  какому  столбцу  таблицы  соответствует  каждая  из  переменных w, x, y, z. Определите, какому столбцу таблицы  соответствует каждая из переменных w, x, y, z.

В  ответе  напишите  буквы  w,  x,  y,  z  в  том  порядке,  в  котором  идут соответствующие  им  столбцы  (сначала  буква,  соответствующая  первому столбцу;  затем  буква,  соответствующая  второму  столбцу,  и  т.д.).  Буквы в ответе  пишите  подряд,  никаких  разделителей  между  буквами  ставить не нужно. 

Решение

Составим программу на Pascal, которая выводит таблицу истинности данного выражения. Имеем логические переменные x, y, z, w, F. Их хначения True или  False. ⁠Переменные x, y, z, w будем перебирать в циклах и выводить их значения, если F=False.

var F:boolean;
begin
println ('x,y,z,w');
for var x:=false to true do
   for var y:=false to true do
       for var z:=false to true do
          for var w:=false to true do begin
          F:=not(not y or x)or (not z or w) or not z;
          if F=false then println(x,y,z,w);
          end;
end.

Программа выдает следующий результат:

x,y,z,w 
False False True False 
True False True False 
True True True False 
Проанализируем полученные данные и сравним с исходной таблицей. Получим результат: yxzw   

Ответ:  ⁠yxzw