Файл форматика бейне редактор қабылдаған жағдайда орындалатын әрекеті анықта

Var a1,a2,a3,a4,a5,a6,a7,a8,k:integer;
begin
k:=0;
read (a1,a2,a3,a4,a5,a6,a7,a8);
if (a1>0) and (a2>0) and (a3>0) and (a4>0) and (a5>0) and (a6>0) and (a7>0) and (a8>0) then
begin
if (a1 mod 3 = 0) and (a1 mod 10 = 4) then k:=k+1;
if (a2 mod 3 = 0) and (a2 mod 10 = 4) then k:=k+1;
if (a3 mod 3 = 0) and (a3 mod 10 = 4) then k:=k+1;
if (a4 mod 3 = 0) and (a4 mod 10 = 4) then k:=k+1;
if (a5 mod 3 = 0) and (a5 mod 10 = 4) then k:=k+1;
if (a6 mod 3 = 0) and (a6 mod 10 = 4) then k:=k+1;
if (a7 mod 3 = 0) and (a7 mod 10 = 4) then k:=k+1;
if (a8 mod 3 = 0) and (a8 mod 10 = 4) then k:=k+1;
writeln (k);
end else
writeln ('Неверный ввод');
end.

Всего пять переменных, каждая из которых может принимать значения 0 или 1. Следовательно кол-во возможных комбинаций или строчек равно 2^5=32

10 строчек имеют одинаковое значение (0;0 или 1;1), которые делают значение импликации равным 1 (См. Табличку на фото).

Всего строчек 32. Строчек, где значение импликации равно 1 - 10. Следовательно у нас осталось 32-10=22 строчки. В них возможно получение значение импликации равное нулю, поэтому максимальное кол-во нулей в столбце значений таблицы истинности выражения A → B равно 22

P.S. Я знаю, что ты это посмотришь, Сережа, поэтому скажи что по матеше задали