(¬x → ¬z) ˅ y → (x → y) → ¬x ˅ ¬z = (заменяем импликацию)
(¬¬x ˅ ¬z) ˅ y → (¬x ˅ y) → ¬x ˅ ¬z = (закон двойного отрицания)
x ˅ ¬z ˅ y → (¬x ˅ y) → ¬x ˅ ¬z = (заменяем импликацию)
¬(x ˅ ¬z ˅ y)˅(¬x ˅ y)→ ¬x ˅ ¬z = (закон де Моргана)
(¬x ˄ ¬¬z ˄ ¬y ˅ ¬x ˅ y)→ ¬x ˅ ¬z = (закон двойного отрицания)
(¬x ˄ z ˄ ¬y ˅ ¬x ˅ y)→ ¬x ˅ ¬z = (правило поглощения ¬x ˄ z ˄ ¬y ˅ ¬x = ¬x)
(¬x ˅ y)→ ¬x ˅ ¬z = (заменяем импликацию)
¬(¬x ˅ y)˅ ¬x ˅ ¬z = (закон де Моргана)
(¬¬x ˄ ¬y)˅ ¬x ˅ ¬z = (закон двойного отрицания)
(x ˄ ¬y)˅ ¬x ˅ ¬z = (распределительный закон)
(x˅ ¬x ˄ ¬y˅ ¬x)˅ ¬z = (исключение третьего)
¬x ˅ ¬y ˅ ¬z
78=>16
214=>326
89=>131
111=>157
VAR a:array[1..10] of integer;
i,s:integer;
BEGIN
s:=0;
for i:=1 to 10 do
begin
a[i]:=random(3);
if a[i]=1 then s:=s+1
end;
writeln ('Массив a: ');
for i:=1 to 10 do write (a[i],' ');
writeln;
writeln ('Элементов массива, равных одному: ',s)
END.
Налить в 9литровое
Перелить в 5литровое
Вылить из 5литрового
Перелить в 5литровое
Налить в 9литровое
Перелить в 5литровое
Вылить из 5литрового
Перелить в 5литровое
Вылить из 5литрового
В 9литровом останется 3л