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

Juk_Ilyenko_Moklyachuk_Orlovskiy_DM_praktikum

.pdf
Скачиваний:
40
Добавлен:
12.05.2015
Размер:
605.14 Кб
Скачать

x

y

f(y,y,g)

y

y

g(x,y,x)

x

y

x

 

 

 

 

 

 

 

 

 

0

0

1

0

0

1

0

0

0

0

1

0

1

1

0

0

1

0

1

0

1

0

0

1

1

0

1

1

1

0

1

1

0

1

1

1

 

 

 

 

 

 

 

 

 

Видiлений жирним шрифтом буде задавати функцiю ( , ). Отже,

( , ) = (1010).

№ 13.2. Довизначити функцiї ( , , ) = (−101 − −0−), ( , , ) = (−−−0 −101), ( , , ) = (0 −01 −−0−) так, щоб , , . Дкщо побудова неможлива, довести це.

Дослiдити, чи будуть належати отриманi функцiї до класiв 0 та 1.

Розв’язок. Складемо таблицю значень даних функцiй.

x

y

z

f

g

h

 

 

 

 

 

 

0

0

0

-

-

0

0

0

1

1

-

-

0

1

0

0

-

0

0

1

1

1

0

1

1

0

0

-

-

-

1

0

1

-

1

-

1

1

0

0

0

0

1

1

1

-

1

-

 

 

 

 

 

 

Розглянемо спочатку функцiю ( , , ). Оскiльки (1, 1, 0) = 0, то, щоб бути монотонною, на всiх “менших” (1, 1, 0) наборах вона теж має дорiвнювати 0, тобто (0, 0, 0) = (1, 0, 0) = 0. Далi, оскiльки (0, 0, 1) = 1, то (1, 0, 1) = (1, 1, 1) = 1 для виконання монотонностi. Отже, ( , , ) =

130

(01010101). Очевидно, що 0 та 1, адже (0, 0, 0) = 0 та

(1, 1, 1) = 1.

Розглянемо тепер функцiю ( , , ). Щоб дана функцiя була лiнiй-

ною, потрiбно, щоб

( , , ) = 0 1 2 3 .

Пiдставивши набори, на яких функцiя визначена, отримаємо систему рiвнянь

 

 

0 2 3 = 0

 

 

 

 

0

 

1

 

3 = 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

1

 

2 = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

1

 

2

 

3 = 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

З третього та

четвертого рiвняння видно, що

 

= 1. Пiдставляючи

 

 

 

 

 

 

 

 

3

 

це значення у систему, маємо

 

 

 

 

 

 

 

 

 

 

0 2 = 1

 

 

 

 

 

 

0

 

1 = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 1 2 = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

Отримаємо 2 = 0, 0 = 1, 1 = 1.

Отже, ( , , ) = 1 - лiнiйна булева функцiя.

Оскiльки (0, 0, 0) = 1 0 0 = 1, то / , а в силу того, що

(1, 1, 1) = 1 1 1 = 1 1.

Розглянемо функцiю ( , , ). Для того, щоб ця функцiя була самодвоїстою, вона має давати протилежнi результати на двоїстих наборах.

Так як набори (0, 0, 0) та (1, 1, 1) самодвоїстi, а (0, 0, 0) = 1, то

(1, 1, 1) = 1. Аналогiчно (0, 0, 1) = (1, 1, 0) = 1, (1, 0, 1) = (0, 1, 0) = 1. Отже, ( , , ) = (01010101). Також, 0 та 1.

131

№ 13.3. Довести, що iмплiкацiю (→) не можна виразити через кон’юнкцiю ( ) та диз’юнкцiю ( ).

Розв’язок. Припустимо, що це можливо, тобто → ≡ ( , ), де

( , ) - булева функцiя, яка мiстить лише кон’юнкцiю та диз’юнкцiю. Оскiльки 0 0 ≡ 0 та 0 0 ≡ 0, то (0, 0) ≡ 0. Але 0 → 0 ≡ 1, тому рiвнiсть ( , ) = → неможлива.

№ 13.4. Дослiдити незалежнiсть системи функцiй {, ¬}

Розв’язок. Перевiримо функцiї системи на належнiсть до класiв Поста.

Функцiя ( ) = = 1 належить до класу . Перевiримо, чи функцiя ( , ) = є лiнiйною. Якби це було так, то функцiю можна було б задати у виглядi = 0 1 2 .

При = = 0 0 0 = 0 = 0, звiдки 0 = 0.

При = 1, = 0 1 0 = 0 = 0 1, звiдки 1 = 0. При = 0, = 1 0 1 = 0 = 0 2, звiдки 2 = 0.

Отже, = 0 0 0 = 0, що неможливо. Отже, не належить класу . А, оскiльки клас функцiонально замкнений, то функцiю не можна виразити через функцiю ¬, тому цi функцiї незалежнi.

Навпаки, функцiя ( , ) = монотонна, оскiльки приймає найбiльше значення на наборi (1, 1): (1, 1) = 1, отже, . Оскiльки

1 ≡ 0 < 1, то заперечення ¬ не є монотонною функцiєю. В силу функцiональної замкненостi класу i того, що ¬ / заперечення не може бути виражене через кон’юнкцiю.

Отже, система функцiй {¬, } є незалежною.

№ 13.5. Дослiдити на повноту систему функцiй {, ¬}

132

Розв’язок. Дослiдимо функцiї системи на належнiсть до класiв Поста.

Розглянемо спочатку кон’юнкцiю. В силу тотожностей 0 0 ≡ 0 та

1 1 ≡ 1 маємо, що 0 та 1. В попередньому прикладi доведено, що / та . Перевiримо кон’юнкцiю на самодвоїстiсть. Маємо

( ) ≡ ≡ ̸= .

Отже, кон’юнкцiя не самодвоїста, тобто / .

Розглянемо тепер заперечення. З рiвностей 0 ≡ 1, 1 ≡ 0 бачимо, що

¬ / 0 та ¬ / 1. За попереднiм прикладом ¬ та ¬ / . Очевидно,

що заперечення самодвоїсте, адже ≡ .

Складемо таблиц, в якiй запишемо належнiсть кожної з функцiй системи до класiв Поста.

 

0

1

 

 

 

 

 

 

 

 

 

 

+

+

+

¬

+

+

Бачимо, що в кожному стовпцi є хоча б один мiнус. Отже, за критерiєм Поста система є повною.

Задачi для аудиторної та домашньої роботи

№ 13.6. Знайти таблицю значень булевої функцiї ( , ), яка є суперпозицiєю функцiй та , де

1 = (01101000); 2 = (10010100); 3 = (00011001); 4 = (10001100);

5 = (00111000); 6 = (01101011); 7 = (01001010); 8 = (01111001);

9 = (01011001); 10 = (10100111).

133

1.( , ) = 2( , 1( , , ), );

2.( , ) = 1( , 2( , , ), );

3.( , ) = 3( , 5( , , ), );

4.( , ) = 3( , 2( , , ), );

5.( , ) = 4( , 3( , , ), );

6.( , ) = 2( , 3( , , ), );

7.( , ) = 5( , , 2( , , ));

8.( , ) = 5( 4( , , ), , );

9.( , ) = 3( , , 2( , , ));

10.( , ) = 4( , , 3( , , ));

11.( , ) = 2( , 4( , , ), );

12.( , ) = 5( , , 7( , , ));

13.( , ) = 9( , , 8( , , ));

14.( , ) = 7( , , 5( , , ));

15.( , ) = 8( , , 7( , , ));

16.( , ) = 7( , 1( , , ), );

17.( , ) = 5( , 9( , , ), );

18.( , ) = 5( , 10( , , ), );

19.( , ) = 10( , 9( , , ), );

20.( , ) = 10( 7( , , ), , ).

21.( , ) = 7( 10( , , ), , ).

22.( , ) = 8( 9( , , ), , )).

23.( , ) = 5( 8( , , ), , ).

24.( , ) = 5( 6( , , ), , ).

25.( , ) = 5( 3( , , ), , ).

26.( , ) = 4( , , 10( , , )).

27.( , ) = 2( 9( , , ), , ).

28.( , ) = 10( , , 8( , , )).

29.( , ) = 7( , 3( , , ), ).

№ 13.7. Довизначити функцiїї ( , , ), ( , , ) та ( , , ) так, щоб

, , . Якщо побудова неможлива, довести це. Дослiдити належнiсть побудованих функцiй до 0 та 1.

1. = (− − −10 − −−), = (1 − − − 001−), = (00 − −01 − −);

134

2.= (− − −1 − 01−), = (− − −11 − 01), = (−0 − −10 − 1);

3.= (−0 − − − −1−), = (10 − 1 − 0 − −), = (010 − 0 − −−);

4.= (− − −1 − 10−), = (1 − 01 − − − 0), = (− − 01 − −10);

5.= (− − 0 − −1 − −), = (−10 − −0 − 1), = (−0 − 1 − 0 − 1);

6.= (−1 − 10 − −−), = (0 − − − 110−), = (−11 − 0 − −0);

7.= (−0 − 0 − −1−), = (− − −00 − 10), = (−0 − −01 − 1);

8.= (−10 − −1 − −), = (01 − 0 − 1 − −), = (1 − − − 010−);

9.= (− − −10 − 0−), = (0 − 10 − − − 1), = (0 − −0 − 11−);

10.= (−0 − − − −10), = (0 − 0 − − − 11), = (0 − 01 − −0−);

11.= (1 − −10 − −−), = (− − 110 − 1−), = (− − 01 − −11);

12.= (1 − 0 − −1 − −), = (− − 010 − 0−), = (−01 − 1 − −0);

13.= (10 − − − −1−), = (−11 − 0 − 0−), = (00 − 0 − 1 − −);

14.= (− − −10 − −0), = (1 − − − 110−), = (−101 − − − 0);

15.= (− − 0 − −1 − 0), = (−01 − 1 − −0), = (−0 − −01 − 1);

16.= (−0 − − − 01−), = (1 − −0 − 1 − 1), = (11 − 0 − 0 − −);

17.= (− − 110 − −−), = (− − 0 − 00 − 1), = (11 − 1 − 1 − −);

18.= (−10 − −1 − −), = (− − −110 − 1), = (10 − −10 − −);

19.= (−0 − −1 − 1−), = (0 − −1 − 0 − 0), = (1 − 01 − −1−);

135

20.= (− − −10 − 0−), = (− − 1 − 11 − 0), = (− − −0 − 101);

21.= (− − 00 − 1 − −), = (− − −001 − 0), = (−0 − −01 − 1);

22.= (−01 − − − 1−), = (0 − − − 001−), = (1 − −0 − 01−);

23.= (−10 − −1 − −), = (−10 − 0 − −1), = (−0 − 1 − 1 − 0);

24.= (−1 − 10 − −−), = (−0 − 10 − 10), = (0 − −1 − 01−);

25.= (−0 − 0 − −1−), = (0 − −1 − 10−), = (− − 10 − −00);

26.= (−1 − 10 − −−), = (10 − 0 − 1 − −), = (1 − 11 − −1−);

27.= (− − 00 − 1 − −), = (−01 − 0 − 1−), = (1 − −0 − 10−);

28.= (−0 − −100−), = (10 − −0 − 1−), = (−010 − − − 1);

29.= (− − −100 − −), = (−1 − −010−), = (11 − 1 − 1 − −).

13.8. Виразити за допомогою суперпозицiй:

1.

i → через та ¬;

7.

через штрих Шеффера;

2.

i → через та ¬;

8.

 

через штрих Шеффера;

3.

i через → та ¬;

 

 

9.

→ через штрих Шеффера;

4.

¬ через → та 0;

10.

¬ через штрих Шеффера;

5.

¬

через

 

та 1;

 

 

 

 

 

 

6.

через →;

11.

↓ через ¬ та .

№ 13.9. Довести, що не можна виразити за допомогою суперпозицiй:

136

1.

¬ через та ;

7.

¬ через , та →;

2.

¬ через та →;

8.

¬ через , та ;

3.

¬ через та ;

9.

¬ через , та →;

4.

¬ через та →;

10.

¬ через , та →;

5.

¬ через та ;

11.

¬ через , , та →;

6.

¬ через → та ;

12.

через та →.

№ 13.10. Дослiдити систему функцiй на незалежнiсть:

1.

{¬, };

9.

{ , |};

2.

{¬, };

10.

,

;

 

 

 

 

{ |}

 

3.

{ , };

11.

{→, };

4.

{ , };

12.

{→, |};

5.

{ , };

13.

{→, ↓};

6.

{ , };

 

 

 

7.

,

;

14.

{¬, |};

 

{ →}

 

 

 

 

8.

{ , ↓};

 

15.

{¬, ↓}.

№ 13.11. Дослiдити систему функцiй на незалежнiсть:

1.

{ , ¬};

 

3.

{¬, →};

2. { , };

4. {¬, };

137

5.{→, };

6.{ , , ¬};

7.{ , →, ¬};

8.{ , , ¬};

9.{ , →, ¬};

10.{ , , ¬};

11.{→, , ¬};

12.{ , , →};

13.{ , , };

14.{ , , 0};

15.{ , , 1};

16.{ , , 1};

17.{ , , 1};

18.{ , →, 1};

19.{→, 0};

20.{|};

21.{↓};

22.{ , , 1};

23.{ , , 0};

24.{¬, };

25.{ , , 0};

26.{ , , 0};

27.{ , →, 0};

28.{ , →};

29.{ , }.

138

ЗАНЯТТЯ 14

Мiнiмiзацiя булевих функцiй

Навчальнi задачi

№ 14.1. Для заданої функцiї ( , , , ) = 1101 1010 1101 1100 записати ДДНФ та ДКНФ i знайти скорочену ДНФ методом Квайна.

Розв’язок. Зобразимо таблицю значень функцiї у виглядi карти Карно.

 

 

 

 

 

 

 

 

 

 

 

 

zw

 

00

01

11

10

 

 

 

 

 

 

xy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

00

 

1

1

1

0

 

 

 

 

 

 

 

 

 

01

 

1

0

0

1

 

 

 

 

 

 

 

 

 

11

 

1

1

0

0

 

 

 

 

 

 

 

 

 

10

 

1

1

1

0

 

 

 

 

 

 

 

 

 

Знайдемо ДДНФ даної функцiї. Для цього оберемо тi значення змiнних, для яких функцiя приймає значення 1, для всiх таких комбiнацiй складемо кон’юнкцiї змiнних, ставлячи заперечення над змiнною, якщо та рiвна 0. Диз’юнкцiя всiх таких кон’юнкцiй i буде ДДНФ функцiї.

139

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