Реферат: Алгебра высказываний на уроках информатики

x4: = D AND Q;

x5: = NOT D OR (F AND G);

x6: = NOT K OR (F AND D);

x7: = NOT G OR (NOT (B AND K));

x8: = NOT G OR (NOT A);

x9: = NOT G OR NOT W;

x10: = (Q AND B) XOR (Q AND F);

x11: = NOT K OR (Q AND G);

x12: = (Q AND NOT A) AND (Q AND NOT B);

x: = x2 AND x4 AND x5 AND x6 AND x7 AND x8

AND x9 AND x10 {AND x11 AND x12};

if x<>false then

begin

writeln;

write (a: 10,b: 10,k: 10,w: 10,d: 10,q: 10,f: 10,g: 10);

end;

end;

end;

end;

end;

end;

end;

end;

end;

readkey;

end.

Ответ: Дима, Юра, Федя, Гриша

Обратите внимание, что х11 и х12 ничего не добавляют для решения задачи.

Задачи для самостоятельного решения

Задача №1