¬ (A v B ) /\ ¬ C =(раскроем скобки по закону де-Моргана)=
= ¬A /\ ¬B /\ ¬ C =(доказательство этого перехода - через таблицу истинности)= ¬(A v B v C)
Доказательство последнего равенства:
1) ¬A /\ ¬B /\ ¬ C
А B C F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
2) ¬(A v B v C)
А B C F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 0
Так как таблицы истинности совпали, последний переход равносилен.
ответ: ¬(A v B v C)
begin
repeat
write('Вы желаете покинуть программу? Если да-нажмите 1, если нет- нажмите ЛЮБОЕ ЧИСЛО ');
readln(a);
until a=1;
write('Программа завершена за использование');
end.
Пример:
Вы желаете покинуть программу? Если да-нажмите 1, если нет- нажмите ЛЮБОЕ ЧИСЛО 3
Вы желаете покинуть программу? Если да-нажмите 1, если нет- нажмите ЛЮБОЕ ЧИСЛО 1
Программа завершена за использование