Ответы на тест / ММА / Математическая логика / Экзаменационный тест
В файле собраны ответы к тесту из курса ММА / Математическая логика (Экзаменационный тест).
Год сдачи: 2025.
Результат сдачи: 95%.
После покупки станет доступен для скачивания файл, где будет 20 вопросов с ответами. Верный ответ выделен по тексту.
В демо-файлах представлен скрин с результатом тестирования, а также пример, как выделены ответы.
Можно искать с помощью поиска (Ctrl+F).
Также Вы можете посмотреть другие мои готовые работы у меня на странице по ссылке:
Вопрос 1
Стрелка Пирса – это…
a. Строгая дизъюнкция
b. Отрицание конъюнкции
c. Отрицание дизъюнкции
d. Отрицание импликации
Вопрос 2
Высказывание К – «15 составное число»; высказывание T – «сумма углов треугольника 180°». Дизъюнкцией этих высказываний (КÚT) является предложение …
a. «15 составное число или сумма углов треугольника 180°»
b. «Если 15 составное число, то сумма углов треугольника 180°»
c. «15 составное число тогда и только тогда, когда сумма углов треугольника 180°»
d. «15 составное число и сумма углов треугольника 180°»
Вопрос 3
Приведите функцию к СДНФ:
AB∨CA¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯→ABC∨C¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯∧(AC↔AB∨B¯¯¯¯)
a. A¯¯¯¯BC¯¯¯¯∨AB¯¯¯¯C∨ABC¯¯¯¯∨ABC¯¯¯¯¯¯¯¯¯¯¯
b. A¯¯¯¯BC¯¯¯¯∨AB¯¯¯¯C
c. A¯¯¯¯BC¯¯¯¯∨AB¯¯¯¯C∨ABC
d. A¯¯¯¯BC¯¯¯¯∨AB¯¯¯¯C∨ABC¯¯¯¯∨ABC
Вопрос 4
Какие утверждения относятся к логике высказываний?
a. Анна сестра Андрея
b. Андрей бабушка Анны
c. Анна мать Y
d. X меньше Y
Вопрос 5
Формула называется _______, если она принимает значение «Ложь» на всех интерпретациях (наборах значений переменных)
a. тождественно ложной
b. ложной
c. отрицательной
d. абсолютно ложной
Вопрос 6
Как называются свойства текстов, описывающих алгоритм?
a. нет верного ответа
b. семантические свойства
c. синтаксические свойства
d. смысловые свойства
Вопрос 7
Как называется прием, в результате которого из некоторых данных формул получают их частные случаи?
a. унификацией
b. факторизацией
c. резольвенцией
d. подстановкой
Вопрос 8
Приведите функцию к СКНФ:
(A∨B)(B∨C)(C↔A)
Вопрос 8 Ответ
a. (A∨B∨C¯¯¯¯)(A∨B¯¯¯¯∨C¯¯¯¯)(A¯¯¯¯∨B∨C)(A¯¯¯¯∨B¯¯¯¯∨C)
b. (A∨B∨C)(A∨B∨C¯¯¯¯)(A∨B¯¯¯¯∨C¯¯¯¯)(A¯¯¯¯∨B∨C)
c. (A∨B∨C)(A∨B¯¯¯¯∨C¯¯¯¯)(A∨B¯¯¯¯∨C¯¯¯¯)(A¯¯¯¯∨B∨C)(A¯¯¯¯∨B¯¯¯¯∨C)
d. (A∨B∨C)(A∨B∨C¯¯¯¯)(A∨B¯¯¯¯∨C¯¯¯¯)(A¯¯¯¯∨B∨C)(A¯¯¯¯∨B¯¯¯¯∨C)
Вопрос 9
Пусть X="Допознаработаешьскомпьютером", Y="Пьешьмногокофе", Z="Утромвстаешьсголовнойболью", U="Утромвстаешьвдурномрасположениидуха". Представить логической формулой следующее высказывание: «Утром встаешь в дурном расположении духа или с головной болью только тогда, когда допоздна сидишь с компьютером или пьешь много кофе»
a. (Z∨U)⇒┐(X∨Y)
b. (Z∧U)⇔(X∧Y)
c. (Z∧Y)⇔(X∨U)
d. (Z∨U)⟺(X∨Y)
Вопрос 10
Приведите функцию к СКНФ:
A¯¯¯¯∨B¯¯¯¯
a. (A¯¯¯¯∨B¯¯¯¯)
b. (A∨B)
c. (A∨B¯¯¯¯)
d. (A¯¯¯¯∨B)
Вопрос 11
Как называется операция получения новой функции по имеющимся функциям: по правилу?
a. минимизацией
b. примитивной рекурсией
c. суперпозицией
d. максимизацией
Вопрос 12
Какие утверждения о логике и математической логике являются истинными?
a. При доказательстве математических теорем применима обычная логика
b. При доказательстве математических теорем применима только математическая логика
c. При доказательстве математических теорем обычная логика не применима
d. Доказательство некоторых теорем может быть формализовано с использованием аппарата математической логики
Вопрос 13
Высказывание А – « иррациональное число»; высказывание В – «стороны квадрата равны». Конъюнкцией этих высказываний (АÙВ) является предложение …
a. « иррациональное число тогда и только тогда, когда стороны квадрата равны»
b. «Если иррациональное число, то стороны квадрата равны»
c. « иррациональное число или стороны квадрата равны»
d. « иррациональное число и стороны квадрата равны»
Вопрос 14
Эквиваленцией двух высказываний x и y называется высказывание…
a. Истинное тогда и только тогда, когда истинны оба высказывания x и y
b. Истинное тогда и только тогда, когда истинности высказываний x и y совпадают
c. Ложное тогда и только тогда, когда высказывание x истинно, а y – ложно
d. Ложное тогда и только тогда, когда оба высказывания x и y ложны
Вопрос 15
Приведите функцию к СКНФ:
(A→B)(B→C)(C→A)
a. (A∨B¯¯¯¯∨C)(A∨B¯¯¯¯∨C¯¯¯¯)(A¯¯¯¯∨B∨C)(A¯¯¯¯∨B∨C¯¯¯¯)(A¯¯¯¯∨B¯¯¯¯∨C)
b. (A∨B∨¯C)(A∨¯B∨C)(A∨¯B∨¯C)(¯A∨B∨C)(¯A∨B∨¯C)(¯A∨¯B∨C)
c. \( (\overline{A}∨B∨\overline{C})(A∨\overline{B}∨C)(A∨\overline{B}∨\overline{C})(\overline {A}∨B∨C)(\overline{A}∨\overline{B}∨C) \)
d.\( (A∨B∨\overline{C})(A∨\overline{B}∨C)(A∨\overline{B}∨\overline{C})(\overline{A}∨B∨\ov erline{C})(\overline{A}∨\overline{B}∨C) \)
Вопрос 16
Какой символ в схемах алгоритмов может быть использован для обозначения заголовка цикла?
a. решение
b. подготовка
c. контроль
d. предопределенный процесс
Вопрос 17
Какой фигурой обозначается вершина граф-схемы алгоритма операторного типа
a. треугольником
b. прямоугольником
c. ромбом
d. овалом
Вопрос 18
Какой схемой не может быть представлено предписание о последовательности действий алгоритма?
a. логической схемой
b. граф-схемой
c. матричной схемой
d. эквивалентной схемой
Вопрос 19
Как называется класс булевых функций, если он вместе со всеми своими функциями содержит любую их суперпозицию?
a. полным
b. собственным
c. выпуклым
d. замкнутым
Вопрос 20
Приведите функцию к СДНФ:
\( (A\overline{BC}↔BC∨\overline{(A→B)})A∨\overline{(BC→A)} \)
a. \( \overline{A}BC∨A\overline{BC}∨A\overline{B}C∨AB\overline{C} \)
b. \( \overline{ABC}∨A\overline{BC}∨A\overline{B}C∨AB\overline{C}∨ABC \)
c. \( \overline{A}BC∨A\overline{BC}∨A\overline{BC}∨AB\overline{C}∨ABC \)
d. \( \overline{A}BC∨A\overline{BC}∨A\overline{B}C∨AB\overline{C}∨ABC \)
Вопрос 1
Стрелка Пирса – это…
a. Строгая дизъюнкция
b. Отрицание конъюнкции
c. Отрицание дизъюнкции
d. Отрицание импликации
Вопрос 2
Высказывание К – «15 составное число»; высказывание T – «сумма углов треугольника 180°». Дизъюнкцией этих высказываний (КÚT) является предложение …
a. «15 составное число или сумма углов треугольника 180°»
b. «Если 15 составное число, то сумма углов треугольника 180°»
c. «15 составное число тогда и только тогда, когда сумма углов треугольника 180°»
d. «15 составное число и сумма углов треугольника 180°»
Вопрос 3
Приведите функцию к СДНФ:
AB∨CA¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯→ABC∨C¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯∧(AC↔AB∨B¯¯¯¯)
a. A¯¯¯¯BC¯¯¯¯∨AB¯¯¯¯C∨ABC¯¯¯¯∨ABC¯¯¯¯¯¯¯¯¯¯¯
b. A¯¯¯¯BC¯¯¯¯∨AB¯¯¯¯C
c. A¯¯¯¯BC¯¯¯¯∨AB¯¯¯¯C∨ABC
d. A¯¯¯¯BC¯¯¯¯∨AB¯¯¯¯C∨ABC¯¯¯¯∨ABC
Вопрос 4
Какие утверждения относятся к логике высказываний?
a. Анна сестра Андрея
b. Андрей бабушка Анны
c. Анна мать Y
d. X меньше Y
Вопрос 5
Формула называется _______, если она принимает значение «Ложь» на всех интерпретациях (наборах значений переменных)
a. тождественно ложной
b. ложной
c. отрицательной
d. абсолютно ложной
Вопрос 6
Как называются свойства текстов, описывающих алгоритм?
a. нет верного ответа
b. семантические свойства
c. синтаксические свойства
d. смысловые свойства
Вопрос 7
Как называется прием, в результате которого из некоторых данных формул получают их частные случаи?
a. унификацией
b. факторизацией
c. резольвенцией
d. подстановкой
Вопрос 8
Приведите функцию к СКНФ:
(A∨B)(B∨C)(C↔A)
Вопрос 8 Ответ
a. (A∨B∨C¯¯¯¯)(A∨B¯¯¯¯∨C¯¯¯¯)(A¯¯¯¯∨B∨C)(A¯¯¯¯∨B¯¯¯¯∨C)
b. (A∨B∨C)(A∨B∨C¯¯¯¯)(A∨B¯¯¯¯∨C¯¯¯¯)(A¯¯¯¯∨B∨C)
c. (A∨B∨C)(A∨B¯¯¯¯∨C¯¯¯¯)(A∨B¯¯¯¯∨C¯¯¯¯)(A¯¯¯¯∨B∨C)(A¯¯¯¯∨B¯¯¯¯∨C)
d. (A∨B∨C)(A∨B∨C¯¯¯¯)(A∨B¯¯¯¯∨C¯¯¯¯)(A¯¯¯¯∨B∨C)(A¯¯¯¯∨B¯¯¯¯∨C)
Вопрос 9
Пусть X="Допознаработаешьскомпьютером", Y="Пьешьмногокофе", Z="Утромвстаешьсголовнойболью", U="Утромвстаешьвдурномрасположениидуха". Представить логической формулой следующее высказывание: «Утром встаешь в дурном расположении духа или с головной болью только тогда, когда допоздна сидишь с компьютером или пьешь много кофе»
a. (Z∨U)⇒┐(X∨Y)
b. (Z∧U)⇔(X∧Y)
c. (Z∧Y)⇔(X∨U)
d. (Z∨U)⟺(X∨Y)
Вопрос 10
Приведите функцию к СКНФ:
A¯¯¯¯∨B¯¯¯¯
a. (A¯¯¯¯∨B¯¯¯¯)
b. (A∨B)
c. (A∨B¯¯¯¯)
d. (A¯¯¯¯∨B)
Вопрос 11
Как называется операция получения новой функции по имеющимся функциям: по правилу?
a. минимизацией
b. примитивной рекурсией
c. суперпозицией
d. максимизацией
Вопрос 12
Какие утверждения о логике и математической логике являются истинными?
a. При доказательстве математических теорем применима обычная логика
b. При доказательстве математических теорем применима только математическая логика
c. При доказательстве математических теорем обычная логика не применима
d. Доказательство некоторых теорем может быть формализовано с использованием аппарата математической логики
Вопрос 13
Высказывание А – « иррациональное число»; высказывание В – «стороны квадрата равны». Конъюнкцией этих высказываний (АÙВ) является предложение …
a. « иррациональное число тогда и только тогда, когда стороны квадрата равны»
b. «Если иррациональное число, то стороны квадрата равны»
c. « иррациональное число или стороны квадрата равны»
d. « иррациональное число и стороны квадрата равны»
Вопрос 14
Эквиваленцией двух высказываний x и y называется высказывание…
a. Истинное тогда и только тогда, когда истинны оба высказывания x и y
b. Истинное тогда и только тогда, когда истинности высказываний x и y совпадают
c. Ложное тогда и только тогда, когда высказывание x истинно, а y – ложно
d. Ложное тогда и только тогда, когда оба высказывания x и y ложны
Вопрос 15
Приведите функцию к СКНФ:
(A→B)(B→C)(C→A)
a. (A∨B¯¯¯¯∨C)(A∨B¯¯¯¯∨C¯¯¯¯)(A¯¯¯¯∨B∨C)(A¯¯¯¯∨B∨C¯¯¯¯)(A¯¯¯¯∨B¯¯¯¯∨C)
b. (A∨B∨¯C)(A∨¯B∨C)(A∨¯B∨¯C)(¯A∨B∨C)(¯A∨B∨¯C)(¯A∨¯B∨C)
c. \( (\overline{A}∨B∨\overline{C})(A∨\overline{B}∨C)(A∨\overline{B}∨\overline{C})(\overline {A}∨B∨C)(\overline{A}∨\overline{B}∨C) \)
d.\( (A∨B∨\overline{C})(A∨\overline{B}∨C)(A∨\overline{B}∨\overline{C})(\overline{A}∨B∨\ov erline{C})(\overline{A}∨\overline{B}∨C) \)
Вопрос 16
Какой символ в схемах алгоритмов может быть использован для обозначения заголовка цикла?
a. решение
b. подготовка
c. контроль
d. предопределенный процесс
Вопрос 17
Какой фигурой обозначается вершина граф-схемы алгоритма операторного типа
a. треугольником
b. прямоугольником
c. ромбом
d. овалом
Вопрос 18
Какой схемой не может быть представлено предписание о последовательности действий алгоритма?
a. логической схемой
b. граф-схемой
c. матричной схемой
d. эквивалентной схемой
Вопрос 19
Как называется класс булевых функций, если он вместе со всеми своими функциями содержит любую их суперпозицию?
a. полным
b. собственным
c. выпуклым
d. замкнутым
Вопрос 20
Приведите функцию к СДНФ:
\( (A\overline{BC}↔BC∨\overline{(A→B)})A∨\overline{(BC→A)} \)
a. \( \overline{A}BC∨A\overline{BC}∨A\overline{B}C∨AB\overline{C} \)
b. \( \overline{ABC}∨A\overline{BC}∨A\overline{B}C∨AB\overline{C}∨ABC \)
c. \( \overline{A}BC∨A\overline{BC}∨A\overline{BC}∨AB\overline{C}∨ABC \)
d. \( \overline{A}BC∨A\overline{BC}∨A\overline{B}C∨AB\overline{C}∨ABC \)
