Устройства, реализующие элементарные БФ, называются логическими элементами. Их входы соответствуют булевым переменным, а выходы – реализуемой функции.

Под минимизацией понимают процесс упрощения булевых функций, сведения их к минимально возможной форме. Минимальной называется такая форма БФ, которая не допускает уже никаких сокращений.

 

 

Тестовые задания к модулю 3

 

Какие из перечисленных ниже понятий являются операциями Булевой алгебры

· Транзитивность

· Эквивалентность

· Дистрибутивность

· Импликация

 

Какие из перечисленных ниже понятий являются логическими функциями

· Цепь Гамильтона

· Стрелка Пирса

· Штрих Шеффера

· Цикл Эйлера

Каким образом доказывается истинность логических формул, тождеств, законов

· Выполнением преобразований

· Составлением таблицы истинности

· Путем подстановок

· Путем упрощения

 

4. Для того, чтобы базис булевых функций был функционально полным необходимо и достаточно чтобы он включал в себя:

· Функция, сохраняющая константу 0, несамодвойственная, линейная и монотонная

· Функция несохраняющая константу 1, самодвойственная, линейная и немонотонная

· Функция несохраняющая константу 1, самодвойственная, функция несохраняющая константу 0 и немонотонная

· Функция несохраняющая константу 1, несамодвойственная, функция несохраняющая константу 0 и немонотонная

 

Какие из перечисленных ниже методов не используют при минимизации логических выражений?

· Метод Блейка - Порецкого

· Метод Квайна - Мак-Класски

· Метод неопределенных коэффициентов

· Метод группировки

 

6. Карты Карно используются для:

· Минимизации БФ

· Вычисления БФ

· Записи совершенной нормальной формы БФ

· Записи нормальной формы БФ

 

Укажите последовательность логических операций в составном логическом высказывании

· Дизъюнкция

· Импликация

· Инверсия

· Эквивалентность

· Конъюнкция

 

Какое из перечисленных ниже выражений не является записью функции Веба для двух переменных

· (x₁Úx₂)&(x₁Ú )&( Ú x₂)

· (x₁Ú )&( Ú x₂)&( Ú )

· &

· x₂¯x₂

 

9. При каких значениях переменных x, y, z составное логическое высказывание (x&z ® ( & &z) ® y& ) будет ложны м

· x = 0, y = 1, z = 0

· x = 1, y = 1, z = 1

· x = 0, y = 0, z = 0

· x = 1, y = 1, z = 0

 

Укажите, какие из нижеследующих логических тождеств неверны

·  ® Y = Y

·  ®  = X ® Y

·  = X*Y

·  = * *

 

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

· (x₁Úx₂)&(x₁Ú )&( Ú x₂)

· (x₁Ú )&( Ú x₂)&( Ú )

·

·

· Графиком

 

 

Установите соответствие (название - обозначение)

А) Эквивалентность

Б) Инверсия

В) Дизъюнкция

Г) Импликация

Д) Конъюнкция

1) &

2) Ú

3) «

4) ®

5)

 

Установите соответствие (название - обозначение)

А) Стрелка Пирса

Б) Неравнозначность

В) Штрих Шеффера

Г) Отрицание импликации

Д) Импликация

1) |

2)

3) ¯

4) ®

5) Å