Полученное на рисунке выражение можно существенно упростить.
¬(x₁x₂+x₂x₃)+(¬x₁x₃) применим закон де-Моргана
¬((x₁x₂+x₂x₃)(¬(¬x₁x₃)) еще раз к правой группе скобок
¬(x₁x₂+x₂x₃)(x₁+(¬x₃)) раскрываем скобки умножением
¬(x₁x₂+x₁x₂¬x₃+x₁x₂x₃) группируем
¬((1+¬x₃+x₃))
¬(x₁x₂) по закону де-Моргана
¬x₁ + ¬x₂ или в другой записи ¬x₁ ∨ ¬x₂
1) При наборе x₁x₂x₃ = 111 получаем ¬1 + ¬1 = 0 + 0 = 0
2) При наборе x₁x₂x₃ = 000 получаем ¬0 + ¬0 = 1 + 1 = 1
3) При наборе x₁=0, x₃=1 получаем ¬0 + ¬x₂ = 1 + ¬x₂ = 1
function Max(a, b, c: integer): integer;
var
m: integer;
begin
if a > b then
m := a
else
m := b;
if c > m then
m := c;
Max := m;
end;
function Min(a, b, c: integer): integer;
var
m: integer;
begin
if a < b then
m := a
else
m := b;
if c < m then
m := c;
Min := m;
end;
procedure Swap(var a, b: integer);
var
t: integer;
begin
t := a;
a := b;
b := t;
end;
var
a, b, c, t: integer;
begin
Write('Введи через пробел три числа: ');
Read(a, b, c);
Writeln('Max = ', Max(a, b, c), ', min = ', Min(a, b, c));
if b > a then
Swap(a, b);
if c > b then
begin
Swap(b, c);
if b > a then
Swap(a, b);
end;
Writeln(a, ' ', b, ' ', c);
end.