Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
мат-логика-ивт1.doc
Скачиваний:
64
Добавлен:
14.03.2016
Размер:
676.35 Кб
Скачать

0 , 5 , 7.

Решение:

1. Составим таблицу истинности:

х1 х2 х3

0 0 0 0

1 0 0 1

2 0 1 0

3 0 1 1

4 1 0 0

5 1 0 1

6 1 1 0

7 1 1 1

f(x1,x2,x3)

1

0

0

0

0

1

0

1

2.

К10 \/ К20 \/ К30 \/ К1200 \/ К1300 \/ К2300 \/ К123000 = 1

К10 \/ К20 \/ К31 \/ К1200 \/ К1301 \/ К2301 \/ К123001 = 0

К10 \/ К21 \/ К30 \/ К1201 \/ К1300 \/ К2310 \/ К123010 = 0

К10 \/ К21 \/ К31 \/ К1201 \/ К1301 \/ К2311 \/ К123011 = 0

К11 \/ К20 \/ К30 \/ К1210 \/ К1310 \/ К2300 \/ К123100 = 0

К11 \/ К20 \/ К31 \/ К1210 \/ К1311 \/ К2301 \/ К123101 = 1

К11 \/ К21 \/ К30 \/ К1211 \/ К1310 \/ К2310 \/ К123110 = 0

К11 \/ К21 \/ К31 \/ К1211 \/ К1311 \/ К2311 \/ К123111 = 1

  1. Приравняем 0 все коэффициенты при 0 значениях функции:

К10 = К20 = К31 = К1200 = К1301 = К2301 = К123001 = 0

К10 = К21 = К30 = К1201 = К1300 = К2310 = К123010 = 0

К10 = К21 = К31 = К1201 = К1301 = К2311 = К123011 = 0

К11 = К20 = К30 = К1210 = К1310 = К2300 = К123100 = 0

К11 = К21 = К30 = К1211 = К1310 = К2310 = К123110 = 0.

  1. Вычеркнем 0 коэффициенты из коэффициентов при 1 значениях функции:

К123000 = 1

К1311 \/ К123101 = 1

К1211 \/ К1311 \/ К123111 = 1

  1. Найдем минимальное покрытие: К123000 и К1311 ,т. е.

f1(x1,x2,x3) =

  1. Проверка:

х1 х2 х3

0 0 0 0

1 0 0 1

2 0 1 0

3 0 1 1

4 1 0 0

5 1 0 1

6 1 1 0

7 1 1 1

f(x1,x2,x3)

1

0

0

0

0

1

0

1

f1(x1,x2,x3)

1

0

0

0

0

1

0

1

Т.к. f =f1, то преобразования выполнены верно.

Ответ: f1(x1,x2,x3) =

7. Используя метод Квайна, необходимо найти МДНФ функции f(x1,x2,x3), принимающей значение 1 на наборах: 2 , 3, 4 , 5 , 7.

Решение:

1. Составим таблицу истинности:

х1 х2 х3

0 0 0 0

1 0 0 1

2 0 1 0

3 0 1 1

4 1 0 0

5 1 0 1

6 1 1 0

7 1 1 1

f(x1,x2,x3)

0

0

1

1

1

1

0

1

  1. Выпишем термы для 1 значений функции и склеим все возможные:

*

*

*

*

  1. Составим таблицу и найдем минимальное покрытие:

+

+

+

+

+

В данном случае все импликанты являются существенными, поэтому

f1(x1,x2,x3) =\/\/.

Замечание: Необходимо подробно рассматривать этапы поиска существенных импликант и минимального количества покрывающих импликант (строить минимальную таблицу).

  1. Проверка:

х1 х2 х3

0 0 0 0

1 0 0 1

2 0 1 0

3 0 1 1

4 1 0 0

5 1 0 1

6 1 1 0

7 1 1 1

f(x1,x2,x3)

0

0

1

1

1

1

0

1

f1(x1,x2,x3)

0

0

1

1

1

1

0

1

Т. к. f1 = f, то преобразования выполнено верно.

Ответ: f1(x1,x2,x3) =\/\/.

8.Используя метод Квайна – Мак-Класки, необходимо найти МДНФ функции f(x1,x2,x3), принимающей значение 1 на наборах :

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]