Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Контрольная работа ОДМиТА вариант 10

.pdf
Скачиваний:
86
Добавлен:
01.04.2014
Размер:
446.23 Кб
Скачать

Контрольная работа №1 Вариант №10

Задание №1

Докажите тождество через тождественные преобразования и с помощью диаграмм Эйлера-Венна.

((A \ C) A C) (A (A B \ C)) = A \ C

Решение:

((A \ C) A C) (A (A B \ C)) = A \ C

((A C) ( A C)) A = A C

C A = A C

A C = A C , что и требовалось доказать.

Иллюстрация справедливости равенства на диаграммах Эйлера-Венна

2

3

Задание №2

Получить СДНФ, СКНФ, используя таблицу истинности. Построить ДНФ, КНФ, упростив выражение S = A B C B C A C .

Решение:

Построим таблицу истинности высказывания, заданного формулой:

A

B

C

B C

 

A

B C

B

C

 

A C

B

C

A C

S

 

 

 

 

 

 

 

 

 

 

 

 

0

0

0

0

 

0

1

 

 

0

0

1

 

 

 

 

 

 

 

 

 

 

 

 

0

0

1

0

 

0

0

 

 

0

1

0

 

 

 

 

 

 

 

 

 

 

 

 

0

1

0

0

 

0

1

 

 

0

0

1

 

 

 

 

 

 

 

 

 

 

 

 

0

1

1

1

 

1

1

 

 

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

1

0

0

0

 

1

1

 

 

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

1

0

1

0

 

1

0

 

 

1

1

1

 

 

 

 

 

 

 

 

 

 

 

 

1

1

0

0

 

1

1

 

 

0

0

0

 

 

 

 

 

 

 

 

 

 

 

 

1

1

1

1

 

1

1

 

 

1

1

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Согласно алгоритмам построения СДНФ и СКНФ по таблице истинности получим следующие результаты:

СДНФ = ABC ABC ABC ABC

СКНФ = (A B C )(A B C )(A B C )(A B C )

Построим булево выражение, эквивалентное заданной формуле и найдем ДНФ и КНФ:

A B C = A (B C ) = A (B C ) = ( A B) ( A C )

B C A C = (B C ) ( A C ) = (B C ) ( A C ) = (B C ) ( A C ) = = (C A) (C B) = C (A B)

4

 

 

 

 

 

(

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

( A

B) ( A C )

C

 

A

B

 

=

 

{

 

 

 

 

 

 

 

}

 

 

{

 

 

 

 

(

 

 

 

 

) }

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

)

 

=

( A B) ( A C )

C

 

 

A

B

 

 

 

( A B) ( A C )

C

 

A

B

 

=

={( A B) ( A C ) C (A B)} { ( A B) ( A C ) C (A B) }=

={( A B) (A B) C (C A)} { (A B) (A C ) C (A B) }=

={A C} { A (B C ) (C A) (C B) }=

={A C} {A (B C ) (A C ) (B C )}=

={A C} {A (A C ) (B C ) (B C )}=

={A C} {A C}

ДНФ = ( A C ) (A C )

КНФ = ( A C ) (A C ) = ( A C ) A ( A C ) C = (A C ) (A C )

5

Задание №3

Упростить схему:

Решение:

Построим функцию проводимости данной схемы, которая будет задаваться таблицей истинности для релейно-контактной схемы:

f = (x y) (x y) y x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

y

(x y)

(

 

 

 

)

(x y) (

 

 

 

)

(x y) (

 

 

 

) y

f

x

y

x

y

x

y

0

0

0

1

 

 

1

 

 

 

 

1

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

0

0

 

 

0

 

 

 

 

1

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

0

0

0

 

 

0

 

 

 

 

0

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

1

1

0

 

 

1

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

По данной логической функции построим СДНФ:

СДНФ = xy

Построим более простую схему, имеющую ту же функцию проводимости, что и исходная:

6

Задание №4

 

 

 

 

 

 

 

 

Выяснить,

каким

из

 

пяти

замкнутых

классов

(T0 ,T1 , L, S, M ) принадлежит функция, заданная своим характеристическим

множествомM0 = {001, 011, 111} . Построить полином Жегалкина.

 

Решение:

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

x

y

z

f

 

 

 

 

0

0

0

1

 

 

 

 

 

0

0

1

0

 

 

 

 

 

0

1

0

1

 

 

 

 

 

0

1

1

0

 

 

 

 

 

1

0

0

1

 

 

 

 

 

1

0

1

1

 

 

 

 

 

1

1

0

1

 

 

 

 

 

1

1

1

0

 

 

 

Исходя из определения функций, сохраняющих константу 0, выясняем, что f T0 .

Исходя из определения функций, сохраняющих константу 1, выясняем, что f T1 .

Построим для функции f полином Жегалкина:

f = x yz xyz x yz x yz xyz = xz x y xyz =

=(x 1)(z 1) x( y 1) xy(z 1) = (x 1)(z 1) x( y 1) xy(z 1) =

=xz x z 1 xy x xyz xy = z xz xyz

Он имеет нелинейный

вид. Следовательно, f L , где L - класс

линейных функций.

 

 

 

 

 

 

 

Поскольку условие f (x1

,..., xn)=

 

(

 

1 ,...,

 

n) не выполняется, f S , где S -

f

 

x

 

 

 

 

x

 

класс самодвойственных функций.

Исходя из определения монотонности функций, следует, что функция f M , где М - класс монотонных функций.

Ответ: f (M )

7

Задание №5

Найти методом Квайна–Мак-Класски минимальную ДНФ функции, заданной своим характеристическим множеством:

M0 = {0000, 0001,1001, 1000, 0101, 1010, 1101, 1011, 1111, 1110}

Решение:

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

x1

x2

x3

x4

f

0

0

0

0

0

0

0

0

1

0

0

0

1

0

1

0

0

1

1

1

0

1

0

0

1

0

1

0

1

0

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

0

1

1

1

0

0

1

1

1

1

0

В СДНФ функции f заменим все конституенты единицы их двоичными номерами:

f = 0010 0011 0100 0110 0111 1100

Образуем группы двоичных номеров. Признаком образования i-й группы является i единиц в двоичном номере конституенты единицы:

Номер группы

Двоичные номера конституент единицы

0---

10010 0100

2 0011 0110 1100

30111

4---

Склеим номера из соседних групп. Склеиваемые номера вычеркнем:

Номер группы

 

Двоичные номера конституент единицы

0

---

 

 

1

001-

0-10

01-0 -100

2

0-11

011-

 

3----

4----

8

Склеим номера из соседних групп. Склеиваться могут только номера, имеющие звездочки в одинаковых позициях. Склеиваемые номера вычеркнем:

Номер группы

Двоичные номера конституент единицы

0

---

1

0-1- 01-0 -100

2

---

3

---

4

---

Имеем три простых импликанты: 0-1-, 01-0, -100 Строим импликантную матрицу.

Простые

 

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

 

импликанты

0010

0011

0100

0110

0111

1100

0-1-

X

X

 

X

X

 

01-0

 

 

X

X

 

 

-100

 

 

X

 

 

X

По таблице определяем совокупность простых импликант: 0-1-, 01-0, -100, соответствующих минимальной ДНФ.

Таким образом, минимальная ДНФ имеет характеристическое множество {0-1-, 01-0, -100}, то есть имеет вид:

x1x3 x1x2 x4 x2 x3 x4

9

Задание №6

Найти инварианты неориентированного графа, заданного матрицей смежности:

 

x1

x2

x3

x4

x5

x6

x1

 

1

 

1

1

 

x2

1

 

1

 

 

1

x3

 

1

 

1

1

 

x4

1

 

1

 

 

1

x5

1

 

1

 

 

1

x6

 

1

 

1

1

 

Решение:

Изобразим граф по заданной матрице смежности:

Инварианты графа: Количество вершин n=6; Количество ребер r=9;

Количество граней f определить невозможно, поскольку граф не является плоским;

Число связности k=2;

Толщина графа для данного графа t(G)=2;

Количество вершин максимальной клики в данном графе равно 2 и поэтому плотность графа q(G)=2.

Найдем наибольшее независимое множество вершин графа. Найдем вершину с наименьшей степенью – х1 (ρ1) = 3) и включим ее в независимое множество. Удалим из графа саму вершину х1, смежные ей вершины х2, х4 и

10

х5 а так же инцидентные им ребра х1х2, х1х4, х1х5, х2х3, х2х6, х3х4, х4х6, х3х5, х5х6. В итоге получим граф вида:

Таким образом, мы получили наибольшее независимое подмножество {х1, х3, х6} и соответственно число независимости графа α0 (G) = 3.

Найдем наименьшее вершинное покрытие. Строим матрицу инцидентности графа:

 

x1x2

x1x4

x1x5

x2x3

x2x6

x3x4

x3x5

x4x6

x5x6

x1

1

1

1

 

 

 

 

 

 

x2

1

 

 

1

1

 

 

 

 

x3

 

 

 

1

 

1

1

 

 

x4

 

1

 

 

 

1

 

1

 

x5

 

 

1

 

 

 

1

 

1

x6

 

 

 

 

1

 

 

1

1

Столбец, содержащий наименьшее число единиц (х1х2), покрывает две строки — х1 и х2. Среди них выбираем строку с максимальным числом единиц и включаем в искомое покрытие – это строка х1. Исключаем из матрицы строку х1 и столбцы, которые она покрывает. В результате получаем преобразованную матрицу инцидентности и повторяем заново шаги алгоритма:

 

x2x3

x2x6

x3x4

x3x5

x4x6

x5x6

x2

1

1

 

 

 

 

x3

1

 

1

1

 

 

x4

 

 

1

 

1

 

x5

 

 

 

1

 

1

x6

 

1

 

 

1

1

На этом этапе столбец х2х3 задает следующую строку искомого покрытия – х3. Переходим к упрощенной матрице инцидентности:

11