Смекни!
smekni.com

Основы дискретной математики (стр. 18 из 23)

end;

end;

end;

end.

Рисунок 4.3 – Форма для примера 2

4.4 Вопросы для самопроверки

1) Чем отличается кортеж от обычного множества?

2) Приведите пример использования кортежей в программировании.

3. Какие операции над множествами Вы знаете?

4) Какой способ существует для графического изображения множеств?

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

6) Какие операции (логические связки) из алгебры логики Вы знаете?

7) Возможно ли провести аналогию между операциями над множествами и логическими операциями?

8) Какое правило используется при построении СДНФ логической функции?

9) Какое правило используется при построении СКНФ логической функции?

10) Каков алгоритм перевода числа из десятичной системы счисления в двоичную систему счисления?

11) Почему логические функции и логические переменные часто называют двоичными?

12) Какая связь существует между логическими функциями и функционированием компьютера, отдельных его устройств?


Практическая работа № 5. Исследование логических функций

Цель работы: изучение существующих форм представления логических функций. Построение совершенных нормальных форм логических функций. Построение таблиц истинности и арифметических моделей логических функций в приложениях на Delphi.

Примечание: все теоретические сведения, необходимые для выполнения данной работы, содержатся в [25], в лекциях и в материалах семинарских занятий.

5.1 Задание к работе

1. Используя средства Excel и Delphi, построить таблицы истинности заданных логических функций, если требуется, то предварительно упростить выражения, используя законы алгебры логики и следствия из них.

2. Используя средства Excel и Delphi, построить арифметические модели заданных логических функций.

3. Представить заданные логические функции в виде СДНФ, СКНФ и СПНФ.

4. Построить логические функциональные схемы для заданных логических функций F1 и F2.

5. Сделать выводы.

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

5.2.1 Пример выполнения

Задание: Построить таблицу истинности, СДНФ, СКНФ, СПНФ и логические функциональные схемы для данных логических функций:

F1=

F2=

Код программы построения таблицы истинности логический функций:

Procedure TForml. ButtonlClick (Sender: TObject);

var xl, x2, x3:boolean; i:byte;

a1, a2, a3: string;

begin

Stringgridl. Cells [l, 0]:='xl';

Stringgridl. Cells [2,0]:='x2';

Stringgridl. Cells [3,0]:='x3';

Stringgrid1. Cells [4,0]:=F1';

Stringgridl. Cells [5,0]:='F2';

for i:=l to 8 do begin Stringgrid1. Cells [0, i]:=inttostr (i‑1);

if i<=4 then Stringgridl. Cells [l, i]:=’0’ else Stringgridl. Cells [l, i]:=1;

if (i<=2) or (i=5) or (i=6) then Stringgridl. Cells [2, i]:='0’ else Stringgridl. Cells [2, i]:=' 1';

if (i mod 2 >0) then Stringgridl. Cells [3, i]:='0' else Stringgridl. Cells [3, i]:=1; end;

for i:=l to 8 do begin

x1:=strtobool (Stringgrid 1. Cells [1, i]);

x2:=strtobool (Stringgridl. Cells [2, i]);

x3:=strtobool (Stringgridl. Cells [3, i]);

if (x2 and x3) or (not(xl) and not(x2)) or (x3 and not(xl)) then

Stringgridl. Cells [4, i]:=’1’ else Stringgridl. Cells [4, i]:='0';

if (x2 and x3) or (not(xl) and not(x2) and not(x3)) then Stringgridl. Cells [5, i]:=1 else Stringgridl. Cells [5, i]:='0'; end; end;


Рисунок 5.1 – Форма с результатами

МДНФ:

F1 =

F2 =

МКНФ:

F1 =

F2 =

СПНФ:

F1 =

F2 =

Рисунок 5.2 – Логическая схема для МКНФ функции F1

5.2.2 Варианты заданий

1) Заданы логические функции: F1= 1 на наборах 0, 3 и

2) Заданы логические функции: F1= 1 на наборах 0, 1, 3 и

3) Заданы логические функции: F1= 1 на наборах 3, 7 и

4) Заданы логические функции: F1= 1 на наборах 0, 1, 3, 7 и

5) Заданы логические функции: F1= 1 на наборах 0,1,2,3,7 и

6) Заданы логические функции: F1= 1 на наборах 2,5,6 и

7) Заданы логические функции: F1= 1 на наборах 0, 2,5,7 и

8) Заданы логические функции: F1= 1 на наборах 0, 1,3 и

9) Заданы логические функции: F1= 1 на наборах 3,4,6,7 и

10) Заданы логические функции:

и

11) Заданы логические функции:

и

12) Заданы логические функции:

и

13) Заданы логические функции:

и

14) Заданы логические функции:

и

15) Заданы логические функции:

и

16) Заданы логические функции:

и

17) Заданы логические функции:

и

18) Заданы логические функции:

и

19) Заданы логические функции:

и

20) Заданы логические функции:

и

21) Заданы логические функции:

и

22)

23) Заданы логические функции:

и

24) Заданы логические функции:

и

25) Заданы логические функции:

и

26) Заданы логические функции:

и

27) Заданы логические функции:

и

28) Заданы логические функции:

и

29) Заданы логические функции:

и

30) Заданы логические функции:

и

31) Заданы логические функции:

и

32) Заданы логические функции: F1=1 на наборах 4,5,7 и