Главная / Алгоритмы и дискретные структуры /
Дискретный анализ / Тест 3
Дискретный анализ - тест 3
Упражнение 1:
Номер 1
Некоторая функция алгебры логики зависит от 64 аргументов. Областью определения данной функции алгебры логики является множество с количеством элементов:
Ответ:
 (1) 2 
 (2) 64 
 (3) 642 
 (4) 264 
Номер 2
Некоторая функция алгебры логики зависит от 64 аргументов. Количество элементов в множестве значений данной функции алгебры логики равно:
Ответ:
 (1) 2 
 (2) 64 
 (3) 642 
 (4) 264 
Номер 3
Функция алгебры логики - это:
Ответ:
 (1) функция 
 (2) алгебра 
 (3) логика 
 (4) ничто из перечисленного 
Упражнение 2:
Номер 1
Какие из перечисленных утверждений верны:
Ответ:
 (1) в логике любое высказывание либо истинно, либо ложно; третьего не дано. 
 (2) в алгебре высказываний каждая из переменных принимает одно из двух значений, истина или ложь. Третьего не дано. 
 (3) в рамках любой математической теории, содержащей хотя бы арифметику, всегда можно сформулировать утверждение, которое нельзя ни опровергнуть, ни доказать. 
Номер 2
Функция алгебры логики задана на двух аргументах. Количество элементов в множестве значений данной функции алгебры логики равно:
Ответ:
 (1) 1 
 (2) 2 
 (3) 3 
 (4) 4 
Номер 3
Некоторая функция алгебры логики зависит от одного аргумента. Областью определения данной функции алгебры логики является множество с количеством элементов:
Ответ:
 (1) 1 
 (2) 2 
 (3) 3 
Упражнение 3:
Номер 1
Что из перечисленного ниже вводится как функция алгебры логики:
Ответ:
 (1) дизъюнкция 
 (2) конъюнкция 
 (3) сумма 
 (4) эквивалентность 
 (5) импликация 
 (6) ассоциативность 
 (7) стрелка 
 (8) штрих 
Номер 2
Какие из функций алгебры логики принимают значение при значениях аргументов
Ответ:
 (1) дизъюнкция 
 (2) конъюнкция 
 (3) сумма 
 (4) эквивалентность 
 
(5) импликация
 
 (6) штрих 
 (7) стрелка 
Номер 3
Какие из функций алгебры логики принимают значение при значениях аргументов
Ответ:
 (1) дизъюнкция 
 (2) конъюнкция 
 (3) сумма 
 (4) эквивалентность 
 
(5) импликация
 
 (6) штрих 
 (7) стрелка 
Упражнение 4:
Номер 1
Какие из функций алгебры логики принимают значение при значениях аргументов
Ответ:
 (1) дизъюнкция 
 (2) конъюнкция 
 (3) сумма 
 (4) эквивалентность 
 
(5) импликация
 
 (6) штрих 
 (7) стрелка 
Номер 2
Какие из функций алгебры логики принимают значение при значениях аргументов
Ответ:
 (1) дизъюнкция 
 (2) конъюнкция 
 (3) сумма 
 (4) эквивалентность 
 
(5) импликация
 
 (6) штрих 
 (7) стрелка 
Номер 3
Как связаны между собой элементарные функции алгебры логики:
Ответ:
 (1) штрих Шеффера представим как отрицание стрелки Пирса 
 (2) штрих Шеффера представим как отрицание конънкции 
 (3) штрих Шеффера представим как отрицание дизъюнкции 
 (4) стрелка Пирса представима как отрицание конънкции 
 (5) стрелка Пирса представима как отрицание дизъюнкции 
Упражнение 5:
Номер 1
Какие из записей являтся формулами:
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Номер 2
Определите взаимосвязь между формулой и функцией алгебры логики:
Ответ:
 (1) формула реализует функцию алгебры логики 
 (2) для каждой функции алгебры логики существует единственная формула, которая реализует эту функцию алгебры логики 
 (3) одну и ту же функцию алгебры логики могут реализовывать несколько формул разного вида 
Номер 3
Две формулы называются равносильными, если они:
Ответ:
 (1) реализуют одну и ту же функцию алгебры логики 
 (2) реализуют двойственные функции 
 (3) реализуют самодвойственные функции 
Упражнение 6:
Номер 1
Какие из записей являтся формулами, если и - формулы:
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
 
(5)  
Номер 2
Какие из формул равносильны формуле :
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Номер 3
В каких случаях формулы и равносильны:
Ответ:
 
(1) ,
 
 
(2) ,
 
 
(3) ,
 
Упражнение 7:
Номер 1
В каких случаях имеет место указанная равносильность формул:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
В каких случаях имеет место указанная равносильность формул:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
В каких случаях имеет место указанная равносильность формул:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 8:
Номер 1
В каких случаях имеет место указанная равносильность формул:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
В каких случаях имеет место указанная равносильность формул:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
В каких случаях имеет место указанная равносильность формул:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 9:
Номер 1
Разложение функции алгебры логики в дизъюнктивную форму по одной переменной:
Ответ:
 (1) существует для любой функции алгебры логики 
 (2) не существует для функций алгебры логики, заданных табличным образом 
 (3) существует для всех функций алгебры логики, но только для первой переменной 
Номер 2
Что является разложением функции алгебры логики в дизъюнктивную форму по переменной
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Номер 3
Что является разложением функции алгебры логики в дизъюнктивную форму по переменной
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Упражнение 10:
Номер 1
Что является разложением функции алгебры логики в дизъюнктивную форму по переменной
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Номер 2
Что является разложением функции алгебры логики в дизъюнктивную форму по переменной
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Номер 3
Какие из формул равносильны формуле :
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 11:
Номер 1
Совершенная дизъюнктивная нормальная форма функции алгебры логики:
Ответ:
 (1) существует для всех функций алгебры логики, кроме тождественного нуля 
 
(2) определена для константы
 
 
(3) определена для константы
 
Номер 2
Совершенная дизъюнктивная нормальная форма функции алгебры логики:
Ответ:
 (1) позволяет представить любую заданную таблично функцию алгебры логики в виде формулы 
 
(2) определена для константы
 
 (3) наиболее удобна для представления функции алгебры логики, в табличном представлении которой много нулей и мало единиц 
 (4) позволяет задать любую функцию алгебры логики в виде формулы, содержащей операции только следующих видов: конъюнкцию, дизъюнкцию, отрицание 
Номер 3
Совершенная конъюнктивная нормальная форма функции алгебры логики:
Ответ:
 
(1) определена для константы
 
 (2) позволяет представить любую заданную таблично функцию алгебры логики в виде формулы 
 (3) наиболее удобна для представления функции алгебры логики, в табличном представлении которой мало нулей и много единиц 
Упражнение 12:
Номер 1
Совершенная конъюнктивная нормальная форма функции алгебры логики:
Ответ:
 
(1) определена для константы
 
 (2) наиболее удобна для представления функции алгебры логики, в табличном представлении которой много нулей и мало единиц 
 
(3) определена для константы
 
Номер 2
Cовершенная конъюнктивная нормальная форма для импликации имеет вид:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Cовершенная дизъюнктивная нормальная форма для импликации имеет вид:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 13:
Номер 1
Примерами полных систем функции алгебры логики являются:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
Если операциями суперпозиции и замены переменных из функций данной системы функций алгебры логики можно получить только функции, ей принадлежащие, и никаких других функций, то такая система функций:
Ответ:
 (1) полная система 
 (2) замкнутый класс 
Номер 3
Если операциями суперпозиции и замены переменных из функций данной системы функций алгебры логики можно получить произвольную функцию алгебры логики, то такая система функций:
Ответ:
 (1) полная система 
 (2) замкнутый класс 
Упражнение 14:
Номер 1
Образ ямы, из которой нельзя вылезти с помощью операции суперпозиции и замены переменных, на поле всех функций алгебры логики от n переменных иллюстрирует понятие:
Ответ:
 (1) полной системы 
 (2) замкнутого класса 
Номер 2
Сколько существует функций алгебры логики от переменных:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Получить функцию алгебры логики от двух переменных, применяя операции суперпозиции и замены переменной над классом функций алгебры логики одной переменной:
Ответ:
 (1) можно 
 (2) нельзя 
Упражнение 15:
Номер 1
К классу функций алгебры логики, сохраняющих ноль, относятся:
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Номер 2
К классу функций алгебры логики, сохраняющих ноль, относятся:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Количество функций от переменных в классе функций, сохраняющих ноль, равно:
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Упражнение 16:
Номер 1
Инструментами для получения новых функций из уже имеющихся являются:
Ответ:
 (1) замена переменной 
 (2) импликация 
 (3) суперпозиция 
Номер 2
Какие равенства представляют собой правила поглощения:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Класс функций заданный как является
Ответ:
 (1) примером замкнутого класса 
 (2) классом функций, сохраняющих ноль 
 (3) классом функций, сохраняющих единицу 
Упражнение 17:
Номер 1
К классу функций алгебры логики, сохраняющих единицу, относятся:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
Количество функций алгебры логики от n переменных, сохранящих единицу, равно:
Ответ:
 
(1)  
 
(2)  
 
(3)  
 (4) науке не известно точное количество таких функций 
Номер 3
К классу линейных функций алгебры логики относятся:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 18:
Номер 1
Количество линейных функций алгебры логики от n переменных равно:
Ответ:
 
(1)  
 
(2)  
 
(3)  
 (4) науке не известно точное количество таких функций 
Номер 2
С помощью каких операций над функциями можно получить из самодвойственной функции константу:
Ответ:
 
(1) с помощью суперпозиции с функциями
и
 
 
(2) с помощью суперпозиции с функциями
и
 
 
(3) с помощью суперпозиции с функциями
и
 
Номер 3
Укажите функции, наличие которых требуется в системе функций для получения из них операциями суперпозиции и замены переменных функций :
Ответ:
 (1) функция, не сохраняющая ноль 
 (2) функция, не сохраняющая единицу 
 (3) функция, не являющаяся двойственной 
 (4) функция, не являющаяся самодвойственной 
 (5) функция, не являющаяся монотонной 
Упражнение 19:
Номер 1
Функцией, двойственной к , является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Номер 2
Какое значение принимает самодвойственная функция на наборе , если на наборе эта функция принимает значение :
Ответ:
 (1) 1 
 (2) 0 
 (3) для ответа недостаточно информации 
Номер 3
Функцией, двойственной к , является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Упражнение 20:
Номер 1
Количество самодвойственных функций алгебры логики от n переменных равно:
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Номер 2
Какие из перечисленных функций являются самодвойственными:
Ответ:
 
(1)  
 
(2)  
 
(3)  
 
(4)  
Номер 3
Какое значение принимает самодвойственная функция на наборе , если на наборе эта функция принимает значение ?
Ответ:
 (1) 1 
 (2) 0 
 (3) для ответа недостаточно информации 
Упражнение 21:
Номер 1
Для определения монотонной функции алгебры логики:
Ответ:
 (1) требуется определить отношение полного порядка наборов 
 (2) требуется определить отношение частичного порядка наборов 
 (3) достаточно определить отношение порядка в смысле сравнения чисел 
Номер 2
Количество монотонных функций алгебры логики от n
переменных:
Ответ:
 
(1) равно
 
 
(2) больше числа
 
 
(3) равно
 
Номер 3
Какая из перечисленных функций является монотонной:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 22:
Номер 1
Какие из перечисленных функций является монотонными?
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
К каким классам функций алгебры логики относится функция :
Ответ:
 (1) класс монотонных функций 
 (2) класс самодвойственных функций 
 (3) класс линейных функций 
Номер 3
К каким классам функций алгебры логики относится функция :
Ответ:
 (1) класс монотонных функций 
 (2) класс самодвойственных функций 
 (3) класс линейных функций 
Упражнение 23:
Номер 1
К каким классам функций алгебры логики относится функция :
Ответ:
 (1) класс функций, сохраняющих единицу 
 (2) класс линейных функций 
 (3) класс монотонных функций 
Номер 2
К каким классам функций алгебры логики относится функция :
Ответ:
 (1) класс функций, сохраняющих ноль 
 (2) класс линейных функций 
 (3) класс монотонных функций 
Номер 3
К каким классам функций алгебры логики относится функция :
Ответ:
 (1) класс самодвойственных функций 
 (2) класс линейных функций 
 (3) класс функций, сохраняющих ноль