Задание булевой функции в виде десятичных эквивалентов

Министерство науки и высшего образования Российской Федерации

Федеральное государственное бюджетное образовательное учреждение высшего образования «Рязанский государственный радиотехнический университет имени В.Ф. Уткина»

Кафедра «САПР ВС»

Отчет о лабораторной работе № 4

Задание булевой функции в виде десятичных эквивалентов

по дисциплине

«Математическая логика и теория алгоритмов»

Выполнили:

Студенты группы 046

Бригады №8

Костин В.Ю.

Бурцева С.Н.

Проверила:

Доцент кафедры САПР ВС,

к.т.н. Бакулева М.А.

Рязань 2020

Цель работы

Изучение принципов построения СДНФ и СКНД булевых функций, заданных десятичными эквивалентами.

Практическая часть

1. Задание:

2. Таблица истинности (рис. 1):

X1	X2	X3	X4	f

Рисунок 1 – Таблица истинности

3.1 СДНФ:(⌐X1&⌐X2&⌐X3&X4)v(⌐X1&⌐X2&X3&X4)v(⌐X1&X2&⌐X3&X4)v(⌐X1&X2&X3&X4)v(X1&⌐X2&⌐X3&⌐X4)v(X1&⌐X2&⌐X3&X4)v(X1&⌐X2&X3&X4)v(X1&X2&⌐X3&X4)v(X1&X2&X3&⌐X4)v(X1&X2&X3&X4)

3.2 СКНФ: (X1vX2vX3vX4)( X1vX2v⌐X3vX4)( X1v⌐X2vX3vX4)( X1v⌐X2v⌐X3vX4)( ⌐X1vX2v⌐X3vX4)( ⌐ X1v⌐X2vX3vX4)

4.1 Блок-схема алгоритма программы (рис. 2):

Рисунок 2 – Блок-схема алгоритма программы

4.2 Листинг программы:

PROGRAMlab_4;

varX1,X2,X3,X4,F: boolean;

a,b,c,d:string;

i:byte;

constt='----------------------------------------------------';

BEGIN

writeln(' X1',' X2',' X3',' X4',' f');

b:='СКНФ:';

d:='СДНФ:';

fori:=1 to16 do begin

writeln(t);

ifi=1 then beginX1:=False; X2:=False; X3:=False; X4:=False;F:=False;a:='(X1vX2vX3vX4)&' end;

ifi=2 then beginX1:=False; X2:=False; X3:=False; X4:=True;F:=True;c:='(notX1&notX2&notX3&X4)v' end;

ifi=3 then beginX1:=False; X2:=False; X3:=True; X4:=False;F:=False;a:='(X1vX2vnotX3vX4)&'; end;

ifi=4 then beginX1:=False; X2:=False; X3:=True; X4:=True;F:=True;c:='(notX1&notX2&notX3&X4)v' end;

ifi=5 then beginX1:=False; X2:=True; X3:=False; X4:=False;F:=False;a:='(X1vnotX2vX3vX4)&' end;

ifi=6 then beginX1:=False; X2:=True; X3:=False; X4:=True;F:=True;c:='(notX1&X2&notX3&X4)v' end;

ifi=7 then beginX1:=False; X2:=True; X3:=True; X4:=False;F:=False;a:='(X1vnotX2vnotX3vX4)&' end;

ifi=8 then beginX1:=False; X2:=True; X3:=True; X4:=True;F:=True;c:='(notX1&X2&X3&X4)v' end;

ifi=9 then beginX1:=True; X2:=False; X3:=False; X4:=False;F:=True;c:='(X1&notX2&notX3&notX4)v' end;

ifi=10 then beginX1:=True; X2:=False; X3:=False; X4:=True;F:=True;c:='(X1&notX2&notX3&X4)v' end;

ifi=11 then beginX1:=True; X2:=False; X3:=True; X4:=False;F:=False;a:='(notX1vX2vnotX3vX4)&' end;

ifi=12 then beginX1:=True; X2:=False; X3:=True; X4:=True;F:=True;c:='(X1&notX2&X3&X4)v' end;

ifi=13 then beginX1:=True; X2:=True; X3:=False; X4:=False;F:=False;a:='(notX1vnotX2vX3vX4)&' end;

ifi=14 then beginX1:=True; X2:=True; X3:=False; X4:=True;F:=True;c:='(X1&X2&notX3&X4)v' end;

ifi=15 then beginX1:=True; X2:=True; X3:=True; X4:=False;F:=True;c:='(X1&X2&X3&notX4)v' end;

ifi=16 then beginX1:=True; X2:=True; X3:=True; X4:=True;F:=True;c:='(X1&X2&X3&X4)v' end;

writeln(' ',X1,' ',X2,' ',X3,' ',X4,' ',F);

ifF=false thenb:=b+a

elsed:=d+c;

end;

writeln(b);

writeln(d);

END.

5. Окно вывода:

X1 X2 X3 X4 f

----------------------------------------------------

False False False False False

----------------------------------------------------

False False False True True

----------------------------------------------------

False False True False False

----------------------------------------------------

False False True True True

----------------------------------------------------

False True False False False

----------------------------------------------------

False True False True True

----------------------------------------------------

False True True False False

----------------------------------------------------

False True True True True

----------------------------------------------------

True False False False True

----------------------------------------------------

True False False True True

----------------------------------------------------

True False True False False

----------------------------------------------------

True False True True True

----------------------------------------------------

True True False False False

----------------------------------------------------

True True False True True

----------------------------------------------------

True True True False True

----------------------------------------------------

True True True True True

СКНФ:(X1vX2vX3vX4)&(X1vX2vnotX3vX4)&(X1vnotX2vX3vX4)&(X1vnotX2vnotX3vX4)&(notX1vX2vnotX3vX4)&(notX1vnotX2vX3vX4)&

СДНФ:(notX1&notX2&notX3&X4)v(notX1&notX2&notX3&X4)v(notX1&X2&notX3&X4)v(notX1&X2&X3&X4)v(X1&notX2&notX3&notX4)v(X1&notX2&notX3&X4)v(X1&notX2&X3&X4)v(X1&X2&notX3&X4)v(X1&X2&X3&notX4)v(X1&X2&X3&X4)v

Заключение

Мы изучили принципы построения СДНФ и СКНД булевых функций, заданных десятичными эквивалентами.