Вася успел заполнить лишь фрагмент таблицы истинности для выражения F = ((x → y) \/ ¬ (z → w))/\((w → ¬x) \/ (¬y → z)), даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z

yzwx

Объяснение:

f=((-x+y)+(z*-w))*((-w+-x)+(y+z))

1 столбец точно не Х так как если он равен 0, то f выдаст 1, следовательно столбец 4 = Х и он всегда равен 1

построим таблицу истинности для wzy

000 = 0

0 1 1 = 0

00 1 = 0

3 и 2 столбец точно не Y так как там присутствуют единицы делающие функцию истинной

Y = 1

рассмотрим два случая

ywzx и yzwx

1) ywzx = 0011 делают функцию истинной => оно не подходит

2) yzwx = 0011 делает функцию ложной

ответ yzwx

Чтобы упростить программу, будем выводить команды типа "сделай ЕДИНИЦА", где ЕДИНИЦА и ДЕВЯТЬ - процедуры.
Описание процедуры:
процедура <имя процедуры>
нач       
<тело процедуры>
кон

процедура ЕДИНИЦА
нач
поворот шаг шаг шаг шаг
поворот поворот
прыжок прыжок прыжок прыжок
поворот
кон

процедура ДЕВЯТЬ
нач
шаг поворот шаг шаг шаг
шаг поворот шаг поворот шаг
шаг поворот шаг поворот поворот поворот
прыжок прыжок поворот
кон

тело программы: программа Число 1919
     нач
          сделай ЕДИНИЦА
          прыжок
          сделай ДЕВЯТЬ
          прыжок
          сделай ЕДИНИЦА
          прыжок
          сделай ДЕВЯТЬ
    кон

Чтобы упростить программу, будем выводить команды типа "сделай ЕДИНИЦА", где ЕДИНИЦА и ДЕВЯТЬ - процедуры.

Описание процедуры:

процедура <имя процедуры>

нач        

<тело процедуры>

кон

процедура ЕДИНИЦА

нач

поворот шаг шаг шаг шаг

поворот поворот

прыжок прыжок прыжок прыжок

поворот

кон

процедура ДЕВЯТЬ

нач

шаг поворот шаг шаг шаг

шаг поворот шаг поворот шаг

шаг поворот шаг поворот поворот поворот

прыжок прыжок поворот

кон

тело программы: программа Число 1919

    нач

         сделай ЕДИНИЦА

         прыжок

         сделай ДЕВЯТЬ

         прыжок

         сделай ЕДИНИЦА

         прыжок

         сделай ДЕВЯТЬ

   кон

Подробнее - на -