МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

ФГАОУ ВО «СЕВАСТОПОЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»

Кафедра информационных технологий и компьютерных систем

ОТЧЕТ
о выполнении лабораторной работы № 4
«МЕТОД ЗАКРЕВСКОГО МИНИМИЗАЦИИ ФУНКЦИОНАЛЬНОГО ПРЕДСТАВЛЕНИЯ.»
по дисциплине
«Дискретная математика и компьютерная логика»
Вариант № 24

Выполнил:
ст.гр. ИВТ/б-20-1-о Стенин И.Д.
Проверил:
доцент кафедры ИТиКС
Ченгарь О.В.,
ст. преподаватель кафедры ИТиКС Шалимова Е.М.

Севастополь,
2021
 ПОСТАНОВКА ЗАДАЧИ

1. Сформировать таблицу истинности функции в соответствии с вариантом

задания.

2. Булева функция пяти переменных задается таблицей истинности, путем

подстановки в таблицу 4.1 значений a1, a2, a3, a4, a5, соответствующих
двоичному представлению номера варианта.

3. На основе таблицы истинности построить СКНФ функции.

4. Минимизировать булеву функцию на картах Карно посредством

упрощения КНФ функции методом Закревского.

5. Посчитать сложность S полученного представления функции.

ИНДИВИДУАЛЬНОЕ ЗАДАНИЕ ПО ВАРИАНТУ

x1 x2 x3 x4 x5 F
0 0 0 0 0 1
0 0 0 0 1 1
0 0 0 1 0 1
0 0 0 1 1 1
0 0 1 0 0 1
0 0 1 0 1 0
0 0 1 1 0 1
0 0 1 1 1 0
0 1 0 0 0 1
0 1 0 0 1 1
0 1 0 1 0 0
0 1 0 1 1 0
0 1 1 0 0 1
0 1 1 0 1 0
0 1 1 1 0 0
0 1 1 1 1 1
1 0 0 0 0 0
1 0 0 0 1 0
1 0 0 1 0 0
1 0 0 1 1 0
1 0 1 0 0 0
1 0 1 0 1 0
 1 0 1 1 0 1
1 0 1 1 1 1
1 1 0 0 0 0
1 1 0 0 1 1
1 1 0 1 0 1
1 1 0 1 1 1
1 1 1 0 0 1
1 1 1 0 1 0
1 1 1 1 0 0
1 1 1 1 1 0

ХОД РАБОТЫ

Построим СКНФ таблицы

( x 1 ∨ x 2∨ ¬ x 3 ∨ x 4 ∨ ¬ x 5) ∧(x 1∨ x 2 ∨¬ x 3∨ ¬ x 4 ∨¬ x 5)∧(x 1∨¬ x 2 ∨ x 3 ∨¬ x 4 ∨ x 5)∧( x 1∨ ¬ x 2∨
S=80
Построим карту Карно:

x 5 x 4  \  x 3 x 2 x 1
00 01 11 10
000 010 111 100
1 1 0 1
00 04 01 02
01 02 02 02 02
11 02 01 02 01
10 03 02 03 04 03

Поэтапно выделим участки:

x 5 x 4  \  x 3 x 2 x 1
00 01 11 10
000 010 111 100
1 1 0 1
00 0 0 0
01 0 0 0 0
11 0 0 0 0
10 0 0 0 0 0
x 5 x 4  \  x 3 x 2 x 1
00 01 11 10
000 010 111 100
1 1 0 1
00 0 0 0
01 0 0 0 0
11 0 0 0 0
10 0 0 0 0 0

x 5 x 4  \  x 3 x 2 x 1
00 01 11 10
000 010 111 100
1 1 0 1
00 0 0 0
01 0 0 0 0
11 0 0 0 0
10 0 0 0 0 0

x 5 x 4  \  x 3 x 2 x 1
00 01 11 10
000 010 111 100
1 1 0 1
00 0 0 0
01 0 0 0 0
11 0 0 0 0
10 0 0 0 0 0

x 5 x 4  \  x 3 x 2 x 1
00 01 11 10
000 010 111 100
1 1 0 1
00 0 0 0
01 0 0 0 0
11 0 0 0 0
10 0 0 0 0 0

x 5 x 4  \  x 3 x 2 x 1
00 01 11 10
000 010 111 100
1 1 0 1
00 0 0 0
01 0 0 0 0
11 0 0 0 0
10 0 0 0 0 0
 x 5 x 4  \  x 3 x 2 x 1
00 01 11 10
000 010 111 100
1 1 0 1
00 0 0 0
01 0 0 0 0
11 0 0 0 0
10 0 0 0 0 0

x 5 x 4  \  x 3 x 2 x 1
00 01 11 10
000 010 111 100
1 1 0 1
00 0 0 0
01 0 0 0 0
11 0 0 0 0
10 0 0 0 0 0

Итоговая карта:

Опишем полученные интервалы в классе КНФ:

f к =( x 4 ∨ x´1 ∨ x 2 ) ∧ ( x́1 ∨ x 3 ∨ x2 )

Сложность Sf =29  k

x1 x2 x3 x4 x5 fk

0 0 0 0 0 1

0 0 0 0 1 1

0 0 0 1 0 1
0 0 0 1 1 1

0 0 1 0 0 1

0 0 1 0 1 0

0 0 1 1 0 1

0 0 1 1 1 0

0 1 0 0 0 1

0 1 0 0 1 1

0 1 0 1 0 0

0 1 0 1 1 0

0 1 1 0 0 1

0 1 1 0 1 0

0 1 1 1 0 0

0 1 1 1 1 1

1 0 0 0 0 0

1 0 0 0 1 0

1 0 0 1 0 0

1 0 0 1 1 0

1 0 1 0 0 0

1 0 1 0 1 0

1 0 1 1 0 1

1 0 1 1 1 1

1 1 0 0 0 0

1 1 0 0 1 1

1 1 0 1 0 1

1 1 0 1 1 1
 1 1 1 0 0 1

1 1 1 0 1 0

1 1 1 1 0 0

1 1 1 1 1 0

Таблица истинности совпала с изначальной. Из чего можно сделать вывод о

правильности проведённой работы.

ВЫВОД

В ходе выполнения лабораторной работы минимизировано СКНФ функции,

построенной по таблице истинности по варианту на картах Карно, методом
Закревского. Сложность нового представления функции оказалась равна 30.