Добавил:

Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Камский институт гуманитарных и инженерных технологий

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

20121016_Metod_DM.doc

Скачиваний:

Добавлен:

26.02.2016

Размер:

1.15 Mб

Скачать

☆

<<< < Предыдущая 1 2 3 45 / 95 6 7 8 9 > Следующая >>>

2. Контрольная работа «Исследование булевых функций»

2.1. Цель работы

Целью работы является получение практических навыков по исследованию булевых функций и закрепление теоретических знаний по разделу «Теория булевых функций».

2.2. Задание на выполнение работы

2.2.1. Составьте таблицы истинности формул.

2.2.2. Проверьте двумя способами, будут ли эквивалентны следующие формулы:

а) составлением таблиц истинности;

б) приведением формул к СДНФ или СКНФ с помощью эквивалентных преобразований.

2.2.3. С помощью эквивалентных преобразований приведите формулу к ДНФ, КНФ, СДНФ, СКНФ. Постройте полином Жегалкина.

2.2.4. Найдите сокращенную, все тупиковые и минимальные ДНФ булевой функции f(x,y,z) тремя способами:

а) методом Квайна;

б) с помощью карт Карно;

в) методом Квайна-МакКлоски.

Каким классам Поста принадлежит эта функция?

2.2.5. С помощью карт Карно найдите сокращенную, все тупиковые и минимальные ДНФ или КНФ булевой функции f(x₁,x₂,x₃,x₄), заданной вектором своих значений.

2.2.6. Является ли полной система функций? Образует ли она базис?

Данные для заданий 2.2.1...2.2.6 по вариантам приведены ниже.

2.3. Варианты заданий

Вариант 1:

1. (xVy)↔(y↓⌐x),

(x│⌐y)→(z+⌐(xy));

2. x→(y+z),

(x→y)+(x→z);

3. (xV⌐y)→(⌐z+⌐x);

4. f(0,1,0)=f(1,0,0)=f(1,0,1)=0;

5. f=(1101 1101 0011 0011);

6. J={xVy, ⌐x+y}.

Вариант 2:

1. (x↔⌐y)V(y↓x),

((x→⌐y)│⌐z)+⌐(xy);

2. x│(y→z),

(x│y)→(x│z);

3. ⌐((xV⌐y)→(z+⌐x));

4. f(0,1,1)=f(1,0,0)=f(1,1,0)=0;

5. f=(1111 1100 1011 1011);

6. J={x→y, ⌐x⌐y}.

Вариант 3:

1. (xV⌐y)↔(y↓x),

((x│⌐y)→z)+⌐(xy);

2. x(y+z),

xy+xz;

3. (⌐xV⌐y)→ ⌐(z+x);

4. f(0,0,0)=f(0,0,1)=f(1,0,1)=f(1,1,1)=1;

5. f=(1110 0101 0011 0101);

6. J={x↔y, ⌐x│⌐y}.

Вариант 4:

1. (x↔⌐y)V(y↓x),

((x→⌐y)│⌐z)+⌐(xy);

2. x(y+z),

xy+xz;

3. (xV⌐y)→ ⌐(z↔⌐x);

4. f(0,0,1)=f(1,1,1)=f(1,1,0)=0;

5. f=(1101 0011 1101 0011);

6. J={x+y, ⌐xVy}.

Вариант 5:

1. (xV⌐y)→(y+x),

((x↔⌐y)│⌐z)↓⌐(xy);

2. x(y→z),

xy→xz;

3. ⌐((xV⌐y)→(z↔⌐x));

4. f(0,0,0)=f(1,1,1)=f(1,1,0)=0;

5. f=(1100 1011 1111 1011);

6. J={⌐x→y, x⌐y}.

Вариант 6:

1. (x+⌐y)↔(y│x),

((x↓y)↔⌐z)V⌐(xy);

2. x(y↔z),

xy↔xz;

3. ⌐((x│⌐y)+(z→⌐x));

4. f(0,0,1)=f(0,1,1)=f(1,1,0)=f(1,1,1)=1;

5. f=(0101 0101 1110 0011);

6. J={⌐x↔y, x│⌐y}.

Вариант 7:

1. (xV⌐y)↓(y→x),

((x│⌐y)↔⌐z)+⌐(xy);

2. x(y│z),

xy│xz;

3. ⌐((z→x)↔(y│x));

4. f(0,0,0)=f(1,0,1)=f(1,1,1)=0;

5. f=(0011 0011 1101 1101);

6. J={x+⌐y, ⌐xVy}.

Вариант 8:

1. (x+⌐y)→(y↓x),

((x│⌐y)V⌐z)↔⌐(xy);

2. xV(y→z),

(xVy)→(xVz);

3. (x│⌐y)+(⌐z→x);

4. f(1,0,1)=f(0,1,0)=f(1,1,1)=0;

5. f=(1011 1011 1100 1111);

6. J={x→⌐y, ⌐xy}.

Вариант 9:

1. ⌐x↔(y→(⌐y↓x)),

((⌐x│y)V⌐z)+⌐(xy);

2. xV(y│z),

(xVy)│(xVz);

3. (⌐z→x)↔(⌐x│y);

4. f(1,0,0)=f(1,1,0)=f(0,1,1)=f(0,1,0)=1;

5. f=(0101 0011 0101 1110);

6. J={x↔⌐y, ⌐x│y}.

Вариант 10:

1. x↓(⌐y→(y↓x)),

x+(⌐yV⌐z↔⌐(xy));

2. xV(y↔z),

(xVy)↔(xVz);

3. (z→x)+(x│⌐y);

4. f(0,1,1)=f(1,0,0)=f(1,0,1)=0;

5. f=(0011 1101 0011 1100);

6. J={⌐x+⌐y, xV⌐y}.

Вариант 11:

1. x↔(⌐y→(y+x)),

x│(⌐yV⌐z↓⌐(xy));

2. x+(y↔z),

(x+y)↔(x+z);

3. ((x↓y)→z)+y;

4. f(0,0,1)=f(1,0,0)=f(1,1,0)=0;

5. f=(1011 1111 1011 1100);

6. J={xy, ⌐x→⌐y}.

Вариант 12:

1. x→(⌐y│(y+x)),

x↔(⌐yV⌐z↓⌐(xy));

2. x+(y→z),

(x+y)→(x+z);

3. ⌐((x│y)→z)+y;

4. f(0,0,1)=f(0,1,1)=f(1,1,1)=0;

5. f=(0011 1110 0101 0101);

6. J={x│y, ⌐x↔⌐y}.

Вариант 13:

1. x↓(⌐y→(yVx)),

x│(⌐y↔⌐z+⌐(xy));

2. x+(y│z),

(x+y)│(x+z);

3. ⌐((x↓y)→⌐z)+y);

4. f(0,0,0)=f(0,0,1)=f(1,1,0)=0;

5. f=(0011 0011 1100 1111);

6. J={⌐x+y, ⌐xV⌐y}.

Вариант 14:

1. x+(⌐y→(y↔x)),

x↓(⌐yV⌐z│⌐(xy));

2. x↓(y↔z),

(x↓y)↔(x↓z);

3. (⌐(x↓y)→⌐z)↔y;

4. f(0,0,0)=f(0,1,0)=f(1,1,1)=0;

5. f=(1100 0101 0011 0011);

6. J={xy, x→⌐y}.

Вариант 15:

1. (x↓y)│(yV⌐x),

(x↔⌐y)+(z→⌐(xy));

2. x│(y+z),

(x│y)+(x│z);

3. ⌐(((x↓y)→⌐z)↔y);

4. f(0,0,0)=f(0,0,1)=f(1,0,0)=f(1,1,0)=1;

5. f=(0010 0111 1010 1101);

6. J={xVy, ⌐x↔y}.

Вариант 16:

1. (x│y)→(y+⌐x),

(x⌐y)V(z↔⌐(x↓y));

2. x→(y│z),

(x→y)│(x→z);

3. (⌐(x↓y)→⌐z)+y;

4. f(1,0,1)=f(0,1,1)=f(0,1,0)=0;

5. f=(0011 1111 0011 1100);

6. J={x+y, xV⌐y}.

Вариант 17:

1. (xVy)→(y↓⌐x),

(x│⌐y)↔(z+⌐(xy));

2. x→(y↔z),

(x→y)↔(x→z);

3. ⌐((xVy)→(⌐z↔y));

4. f(1,0,0)=f(0,1,1)=f(0,1,0)=0;

5. f=(0101 0011 1100 0011);

6. J={x⌐y, ⌐x→⌐y}.

Вариант 18:

1. (xVy)↓(y→⌐x),

(x+⌐y)→(z│⌐(xy));

2. xV(y+z),

(xVy)+(xVz);

3. ⌐((x│y)+(⌐z→y));

4. f(0,0,1)=f(0,1,1)=f(1,0,0)=f(1,0,1)=1;

5. f=(0111 1101 0010 1010);

6. J={x↓⌐y, ⌐x↔⌐y}.

Вариант 19:

1. (x+y)│(y↓⌐x),

(x↔⌐y)→(zV⌐(xy));

2. x↓(y+z),

(x↓y)+(x↓z);

3. ⌐(((x↓y)→z)↔x);

4. f(1,0,0)=f(0,0,1)=f(0,1,1)=0;

5. f=(1111 1100 0011 0011);

6. J={x+⌐y, xVy}.

Вариант 20:

1. xy↔(y↓⌐x),

(x→⌐y)│(z+⌐(xVy));

2. x↔(y+z),

(x↔y)+(x↔z);

3. (⌐xVy)→⌐(⌐z↔y);

4. f(0,0,1)=f(0,1,1)=f(1,1,0)=0;

5. f=(0011 0011 0101 1100);

6. J={x→y, ⌐xy}.

Вариант 21:

1. x↓(⌐y+(y→⌐x)),

xV(⌐y│⌐z+⌐(xy));

2. x→(y↓z),

(x→y)↓(x→z);

3. ⌐(((x↔y)│⌐z)+y);

4. f(0,0,0)=f(0,0,1)=f(1,0,0)=f(1,1,0)=0;

5. f=(1110 1001 0111 0001);

6. J={⌐x↓y, ⌐x↔⌐y}.

Вариант 22:

1. x│(⌐y+(yVx)),

x→(⌐y↓(⌐z↔⌐(xy)));

2. x↓(y│z),

(x↓y)│(x↓z);

3. ⌐(x↓y)→(z↔⌐y);

4. f(0,1,1)=f(1,0,0)=f(1,0,1)=1;

5. f=(0001 0011 1100 1110);

6. J={⌐x+⌐y, ⌐xVy}.

Вариант 23:

1. x+(⌐y→(y↔⌐x)),

x↓(⌐y│(zV⌐(xy)));

2. x↔(y│z),

(x↔y)│(x↔z);

3. ⌐(((x↓y)→⌐z)↔y);

4. f(0,0,1)=f(1,0,0)=f(1,1,0)=1;

5. f=(0011 1100 0011 0101);

6. J={⌐x⌐y, ⌐x→y}.

Вариант 24:

1. x↔(y(⌐y→x)), xV(⌐y+(z↓⌐(x│y)));

2. x→(y↓z),

(x→y)↓(x→z);

3. (⌐(x↔y)→⌐z)│y;

4. f(0,1,1)=f(0,1,0)=f(1,0,1)=f(1,1,1)=1;

5. f=(0011 1101 0010 1100);

6. J={xV⌐y, ⌐x↔y}.

<<< < Предыдущая 1 2 3 45 / 95 6 7 8 9 > Следующая >>>

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

#
26.02.2016290.82 Кб901- 25 готовые шпоры .doc
#
26.02.20161.15 Mб9520121016_Metod_DM.doc
#
26.02.20168 Mб39234700.rtf
#
26.02.201626.1 Mб111544570.rtf
#
26.02.201631.56 Mб109621999.rtf
#
26.02.2016440.77 Кб42BP2-03_S-0132_UL-001.pdf
#
26.02.2016278.53 Кб11Detali_mashin_KIT_2014_1.doc