Вы находитесь на странице: 1из 4

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

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


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

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

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

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

1. Для заданной в лабораторной работе №2 логической функции построить


СДНФ и СКНФ функции.

2. Посчитать сложность S полученной СДНФ функции.

3. С помощью операций склеивания, поглощения, неполного склеивания и


обобщенного склеивания упростить булеву функцию в классе ДНФ.

4. Посчитать сложность S полученной ДНФ функции.

5. Построить таблицу истинности, для полученной ДНФ функции. Сравнить


полученную таблицу с исходной.

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

ХОД РАБОТЫ

Построим таблицу истинности данной функции:


x1 x2 x3 x4 (((x1&(⌐x2))↓(⌐(x1&x4)))⊕(⌐((x2&x3)v((⌐x1)&x4))))→(x2&(⌐x3))
0 0 0 0 0
0 0 0 1 1
0 0 1 0 0
0 0 1 1 1
0 1 0 0 1
0 1 0 1 1
0 1 1 0 1
0 1 1 1 1
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 0
1 1 0 0 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 0
Совершенная дизъюнктивная нормальная форма формулы это равносильная ей
формула, представляющая собой дизъюнкцию элементарных конъюнкций.

F д= x́ 1 x´2 x́ 3 x 4 ∨ x́1 x́ 2 x 3 x 4 ∨ x́ 1 x2 x́3 x́ 4 ∨ x́ 1 x 2 x́ 3 x 4 ∨ x́1 x 2 x 3 x́ 4 ∨ x´1 x 2 x3 x 4 ∨ x 1 x 2 x´3 x´4 ∨ x1 x 2 x́ 3 x 4 ∨ x 1 x 2 x3 x́ 4

Сложность S=36
Совершенная конъюнктивная нормальная форма формулы это равносильная ей
формула, представляющая собой конъюнкцию элементарных дизъюнкций.
F к =( x 1 ∨ x 2 ∨ x 3 ∨ x 4 ) ∧ ( x 1 ∨ x2 ∨ x́ 3 ∨ x 4 ) ∧ ( x́ 1 ∨ x 2 ∨ x 3 ∨ x 4 ) ∧ ( x́1 ∨ x 2 ∨ x3 ∨ x́ 4 ) ∧ ( x́ 1 ∨ x 2 ∨ x´3 ∨ x 4 ) ∧ ( x´1 ∨ x 2 ∨

Сократим СДНФ
F д= x́ 1 x´2 x́ 3 x 4 ∨ x́1 x́ 2 x 3 x 4 ∨ x́ 1 x2 x́3 x́ 4 ∨ x́ 1 x 2 x́ 3 x 4 ∨ x́1 x 2 x 3 x́ 4 ∨ x´1 x 2 x3 x 4 ∨ x 1 x 2 x´3 x´4 ∨ x1 x 2 x́ 3 x 4 ∨ x 1 x 2 x3 x́ 4
Склеим 1 и 2, 3 и 4, 7 и 8, 5 и 9 (слева направо):
F д= x́ 1 x´2 x 4 ∨ x´1 x2 x́ 3 ∨ x 2 x3 x́ 4 ∨ x́ 1 x 2 x 3 x 4 ∨ x 1 x2 x́ 3

Неполное склеивание 3 и 4:
F д= x́ 1 x´2 x 4 ∨ x´1 x2 x́ 3 ∨ x 2 x3 x´4 ∨ x́ 1 x 2 x 3 ∨ x1 x 2 x́ 3

Склеивание 2 и 4:
F д= x́ 1 x´2 x 4 ∨ x´1 x2 ∨ x 2 x 3 x́ 4 ∨ x1 x 2 x´3

Неполное склеивание 2 и 4:
F д= x́ 1 x 4 ∨ x́ 1 x 2 ∨ x 2 x 3 x´4 ∨ x 2 x́3

Неполное склеивание 3 и 4:
F д= x́ 1 x 4 ∨ x́ 1 x 2 ∨ x 2 x´4 ∨ x 2 x´3

Обобщённое склеивание 1, 2 и 3:
F д= x́ 1 x 4 ∨ x 2 x´4 ∨ x 2 x́3
Сложность S = 6

x1 x2 x3 x4 Fд
0 0 0 0 0
0 0 0 1 1
0 0 1 0 0
0 0 1 1 1
0 1 0 0 1
0 1 0 1 1
0 1 1 0 1
0 1 1 1 1
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 0
1 1 0 0 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 0

ВЫВОД

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


посчитана сложность СДНФ от f. Эта функция была упрощена, оценена её
сложность. В результате были построены две таблицы истинности – для СДНФ
и ДНФ. Сложность упрощённой булевой функции оказалось ниже на 30.