Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
дз конечны автоматы 9.docx
Скачиваний:
0
Добавлен:
25.11.2025
Размер:
622.61 Кб
Скачать

Министерство науки и высшего образования Российской Федерации Федеральное государственное автономное образовательное учреждение высшего образования «Омский государственный технический университет» Кафедра” Автоматизация и робототехника”

Отчёт по выполнению домашнего задания

Вариант - 9

Выполнил:

Студент группы УТС-221

Проверил:

Доц., к.н. Аристов В.В.

Омск 2025

Оглавление

Задание № 1(множества) 3

Задание № 2 (логика Буля) 7

Задание № 3 (Графы) 13

Задание № 4 (Синтез автомата) 16

Задание № 1(множества)

Рисунок 1 – Заданный вариант

Построить диаграмму Эйлера-Венна для операций над тремя множествами, используя следующие выражения

Рисунок 2 – Круги Эйлера для

Рисунок 3 – Круги Эйлера для

Рисунок 4 – Круги Эйлера для Y

Преобразовать эти логические выражения, используя законы булевой логики, разложить на конституенты нуля и единицы, представить таблицей состояний и матрицей Карно, произвести минимизацию функции и записать ее в виде ДНФ и КНФ

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

A

B

C

Y

0

0

0

0

0

0

1

0

0

1

0

0

0

1

1

1

1

0

0

1

1

0

1

0

1

1

0

0

1

1

1

0

Таблица 2 – Карта Карно

A/BC

00

01

11

10

0

0

0

1

0

1

1

0

0

0

– КНФ

Преобразовать их в базис И, ИЛИ, НЕ с реализацией в виде РКС

Рисунок 5 – Схема РКС, где I1 – A, I2 – B, I3 – C

Преобразовать в базисы И-НЕ и ИЛИ-НЕ с реализацией в виде БЛС. Проверить по таблице состояний все три базиса программой "LOGO Soft Comfort".

Для перевода логического выражения в базис И-НЕ надо в ДНФ охватить скобками все элементарные конъюнкции, и записать выражение такого же вида, в котором все отрицания остаются при тех же аргументах функции, а все знаки & и + заменяются Штрихом Шеффера |. Если какая-то из элементарных конъюнкций представлена в ДНФ всего одной переменной, то при переходе в базис И-НЕ эта переменная инвертируется

Рисунок 6 – Схема БЛС для базиса И-НЕ, где I1 – A, I2 – B, I3 – C

Для перевода логического выражения в базис ИЛИ-НЕ надо для КНФ записать выражение такого же вида, в котором все отрицания остаются при тех же аргументах функции, а все знаки & и   заменяются стрелкой Пирса ↓. Если какая-то из элементарных дизъюнкций представлена в КНФ всего одной переменной, то при переходе в базис ИЛИ-НЕ эта переменная инвертируется

Рисунок 7 – Схема БЛС для базиса ИЛИ-НЕ, где I1 – A, I2 – B, I3 – C

Задание № 2 (логика Буля)

Произведите аналитическим путем преобразования и упрощение (например, приведение к ДНФ или КНФ) левой и правой частей тождества с целью его доказательства.

Рисунок 8 – Индивидуальный вариант

Полученная левая часть

Полученная правая часть

Левая и правая части тождества не равны

По заданным диаграммам Эйлера-Венна представьте логические функции в виде СДНФ и СКНФ.

Рисунок 9 – Индивидуальный вариант

– Полученная функция в виде СДНФ

– Полученная функция в виде СКНФ

Составьте для этих функций таблицы истинности и матрицы Карно.

Таблица 3 – Таблица истинности

A

B

C

D

Y

0

0

0

0

0

0

0

0

1

1

0

0

1

0

0

0

0

1

1

0

0

1

0

0

0

0

1

0

1

0

0

1

1

0

0

0

1

1

1

0

1

0

0

0

1

1

0

0

1

1

1

0

1

0

Ф

1

0

1

1

Ф

1

1

0

0

1

1

1

0

1

1

1

1

1

0

Ф

1

1

1

1

Ф

Таблица 4 – Карта Карно

AB|CD

00

01

11

10

00

0

1

0

0

01

0

0

0

0

11

1

1

Ф

Ф

10

1

1

Ф

Ф

Произведите минимизацию функций методами Квайна–МакКласски по матрицам Карно. Сравните результаты минимизации.

Минимизация Карно:

МДНФ:

МКНФ: (

Минимизация функций методом Квайна и Мак-Класки:

Таблица 5

Наборы

Десятичный эквивалентный набор переменных

Переменные и их разряды

№ группы

A

B

C

D

Единичные

1

0

0

0

1

1

9

1

0

0

1

2

8

1

0

0

0

1

12

1

1

0

0

2

13

1

1

0

1

3

Таблица 6

Десятичный эквивалентный набор переменных

Переменные и их разряды

A

B

C

D

1

1

0

0

0

1

8

1

0

0

0

2

9

1

0

0

1

12

1

1

0

0

3

13

1

1

0

1

Таблица 7

Десятичный эквивалентный набор переменных

Переменные и их разряды

A

B

C

D

1

8-9

1

0

0

-

1

1-9

-

0

0

1

1

8-12

1

-

0

0

2

9-13

1

-

0

1

2

12-13

1

1

0

-

Таблица 8

Десятичный эквивалентный набор переменных

Переменные и их разряды

A

B

C

D

1

1-9-9-13

-

0

-

1

1

8-9-8-12

1

-

-

0

1

8-12-12-13

-

1

-

0

Таблица 9

Простые импликанты

Конституенты единиицы

0001

1000

1001

1100

1101

-0-1

+

+

+

1—0

+

+

+

-1-0

+

+

+

Минимизированная функция:

Вывод: Сравним результаты двух методов матрицы Карно и Квайна и Мак-Класки. Оба метода показали одинаковый результат, что доказывает правильность минимизации.

Произвести минимизацию булевой функции, заданной десятичными номерами состояний по матрицам Карно. Получить минимальные ДНФ (выделяя подкубы по единичным значениям функции) и КНФ (выделяя подкубы по нулевым значениям функции).

Y1 = {8,9,11,12,16,17,18,24}; YФ = {1,3, 4,5,7,10,22,27,28,30}.

Рисунок 10 – Карта Карно

МДНФ:

Рисунок 11 – Схема РКС, где I1 – A, I2 – B, I3 – C, I4 – D, I5 – E

Рисунок 12 – Карта Карно

МКНФ:

Рисунок 13 – Схема БЛС, где I1 – A, I2 – B, I3 – C, I4 – D, I5 – E