Аксиомы и свойства алгебры логики

Задание:

1) Пользуясь аксиомами и свойствами алгебры логики, упростить выражение

F = х1× ×х5 + x1×x2×x5 + x5×(x1×x3×x4 + x1× ×x3× ×x5 + x2x3 + + х2× ) + x1×x2×x5.

2) В данной ФАЛ с помощью правила де Моргана заменить знак конъюнкции на знак дизъюнкции, а знак дизъюнкции - на знак конъюнкции

F = x1× + + .

3) Проконтролировать правильность выполненных преобразований с помощью программ, выводящих таблицу истинности исходной и преобразованной функций.

1) Упрощение выражения

F = х1× ×х5 + x1×x2×x5 + x5×(x1×x3×x4 + x1× ×x3× ×x5 + x2x3 + + х2× ) + x1×x2×x5.

1) x1×x2×x5 + x1×x2×x5 = x1×x2×x5;

2) x1×x2×x5 + х1× ×х5 = x1×x5×(х2 + ) = x1×x5;

3) x2x3 + х2× = х2×(х3 + ) = х2;

4) х2 + = 1;

5) 1 + х1×х3×х4 + x1× ×x3× ×x5 = 1;

6) х5×1 = х5;

7) х1×х5 + х5 = х5.

F = x5.

2) Преобразование знаков

x1× + + =

= ( =

= .

F = .

3) Программы контроля правильности преобразований

Программа контроля правильности упрощения:

Program PRIM;

var X1, X2, X3, X4, X5, Y1, Y2: boolean;

begin

writeln(‘ x1 x2 x3 x4 x5 y1 y2’);

for X1:=false to true do

for X2:=false to true do

for X3:=false to true do

for X4:=false to true do

for X5:=false to true do

begin

Y1:= X1 and not X2 and X5 or X1 and X2 and X5 or

X5 and (X1 and X3 and X4 or

X1 and not X2 and not X3 and not X4 and X5 or

X2 and X3 or not X2 or X2 and not X3) or

X1 and X2 and X5;

Y2:= X5;

write(ord(X1):3, ord(X2):3, ord(X3):3, ord(X4):3,

ord(X5):3, ord(Y1):3, ord(Y2):3);

if Y1=Y2

then writeln(’ -OK’)

else writeln(’ -BAD’)

end;

readln

end.

Программа контроля правильности преобразования знаков:

Program PRIM;

var X1, X2, X3, X4, X5, Y1, Y2: boolean;

begin

writeln(‘ x1 x2 x3 x4 x5 y1 y2’);

for X1:=false to true do

for X2:=false to true do

for X3:=false to true do

for X4:=false to true do

for X5:=false to true do

begin

Y1:= X1 and not X2 or not(X1 and X3) or

not(X2 and not X4 and X5);

Y2:= not((not X1 or X2)and not(not X1 or not X3)and

not(not X2 or X4 or not X5));

write(ord(X1):3, ord(X2):3, ord(X3):3, ord(X4):3,

ord(X5):3, ord(Y1):3, ord(Y2):3);

if Y1=Y2

then writeln(’ -OK’)

else writeln(’ -BAD’)

end;

readln

end.

4) Результаты работы программ («скриншоты»)

Результаты контроля правильности упрощения выражения:

Результаты контроля правильности преобразования знаков:

Не нашли, что искали? Воспользуйтесь поиском: