37) Что такое СДНФ и СКНФ?
38) Чем совершенные нормальные формы отличаются от нормальных форм?
39) Приведите примеры совершенных форм?
40) Какие существуют способы приведения к совершенным формам?
41) Чем отличается аналитический способ от табличного способа?
42) Найдите сходства и различия между алгоритмами приведения к совершенным формам (аналитическим и табличным)?
43) Опишите алгоритм решения логических задач с помощью логики высказываний?
44) Перечислите эвристические методы решения логических задач?
Тестовые задания к теме «Логика высказываний»
Тестовое задание №1
1) Обведите номер правильного ответа
АЛГЕБРУ ВЫСКАЗЫВАНИЙ, В КОТОРОЙ БУКВАМИ ОБОЗНАЧЕНЫ ВЫСКАЗЫВАНИЯ, СОЗДАЛ
1. Аристотель
2. Лейбниц
3. Дж.Буль
4. Д. Пеано
2) УСТАНОВИТЕ СООТВЕТСТВИЕ
Название логической операции Символ
1.дизъюнкция
2.конъюнкция
3.эквивалентность
4.импликация
5.стрелка Пирса
6.штрих Шеффера
3) Обведите номер правильного ответа
ВЫСКАЗЫВАНИЕМ НАЗЫВАЕТСЯ
1. вопросительное предложение
2. повествовательное предложение
3. восклицательное предложение
4) Впишите ответ прописными буквами
СЛОЖНОЕ ВЫСКАЗЫВАНИЕ СОСТОИТ ИЗ ________________
5) Впишите ответ прописными буквами
ДВЕ ФОРМУЛЫ А И В БУДУТ НАЗЫВАТЬСЯ РАВНОСИЛЬНЫМИ (А=В) ЕСЛИ ОНИ ИМЕЮТ ОДИНАКОВЫЕ _______________________
6) Обведите номер правильного ответа
ФОРМУЛА ЯВЛЯЕТСЯ СООТНОШЕНИЕМ
1. дизъюнкции и конъюнкции
2. конъюнкции и отрицания
3. отрицания и эквивалентности
4. эквивалентности и импликации
7) Обведите номер правильного ответа
ФОРМУЛЫ
ЯВЛЯЮТСЯ СООТНОШЕНИЯМИ С УЧАСТИЕМ
1. логических констант
2. логических констант и дизъюнкции
3. логических констант, дизъюнкции и эквивалентности
4. логических констант, дизъюнкции, эквивалентности и импликации
8) Обведите номер правильного ответа
ЗАКОН «ДЕ МОРГАНА» ИМЕЕТ ВИД
1.
2.
3.
4.
9) Впишите ответ прописными буквами
ВСЯКАЯ КОНЪЮНКЦИЯ ЭЛЕМЕНТАРНЫХ ДИЗЪЮНКЦИЙ НАЗЫВАЕТСЯ ____________________________________________________
10) Обведите номер правильного ответа
ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА ВЫГЛЯДИТ
1.
2.
11) Впишите ответ прописными буквами
ДНФ, В КОТОРОЙ ВСЕ СЛАГАЕМЫЕ СОДЕРЖАТ СОМНОЖИТЕЛЕМ ВСЕ ПЕРЕМЕННЫЕ – БЕЗ ОТРИЦАНИЯ ЛИБО С ОТРИЦАНИЕМ НАЗЫВАЕТСЯ ____________________________
12) Обведите номер правильного ответа
В СОВЕРШЕННЫХ НОРМАЛЬНЫХ ФОРМАХ ПОВТОРЕНИЯ СОМНОЖИТЕЛЕЙ И СЛАГАЕМЫХ
1. отсутствует
2. присутствует
13) Обведите номер правильного ответа
ФОРМУЛА ВИДА
ЭТО
1. ДНФ
2. КНФ
3. СДНФ
4. СКНФ
14) Впишите ответ прописными буквами
СПОСОБАМИ ПРИВЕДЕНИЯ К СОВЕРШЕННЫМ НОРМАЛЬНЫМ ФОРМАМ ЯВЛЯЮТСЯ _____________________________________________
15) Перечислите через запятую правильный порядок действий
ПРИ РЕШЕНИИ УРОВНЕНИЯ
ПРИНЕОБХОДИМО ВЫПОЛНИТЬ ДЕЙСТВИЯ В СЛЕДУЮЩЕМ ПОРЯДКЕ
1.
2.
3.
4.
Тестовое задание №2
1) Обведите номер правильного ответа
ВЫСКАЗЫВАНИЯМИ ЯВЛЯЮТСЯ
1. Который час?
2. Солнце вращается вокруг земли;
3.
4. Луна есть спутник Марса.
2) Обведите номер правильного ответа
ИСТИННЫМИ ЯВЛЯЮТСЯ ВЫСКАЗЫВАНИЯ
1.
2. Всякий человек имеет брата;
3. Если 15 делится на 6, то 15 делится на 3
4.
.3) Обведите номер правильного ответа
СОСТАВНЫМИ ЯВЛЯЮТСЯ ВЫСКАЗЫВАНИЯ
1. Число 15 делится на 5 и на 3;
2. Число 8 является делителем числа 48;
3. Студент университета;
4. Если 12 делится на 6, то 12 делится на 3.
4) Обведите номер правильного ответа
ЛОГИЧЕСКАЯ СВЯЗКА «ТОГДА И ТОЛЬКО ТОГДА, КОГДА» СООТВЕТСТВУЕТ ЛОГИЧЕСКОЙ ОПЕРАЦИИ
1. дизъюнкции
2. эквивалентности
3. импликации
4. стрелке Пирса
5) УСТАНОВИТЕ СООТВЕТСВИЕ
Высказывание Символьная запись
1. Число 10 не делится на 3; а)
2. 45 кратно 3 и 42 кратно 3; б)
3. Если 12 делится на 6, то 12 делится на 3; в)
4. Число 212 кратно 3 или 4. г)
д)
6) Обведите номер правильного ответа
РАВЕНСТВО
ВЫПОЛНЯЕТСЯ ПРИ1.
2.
3.
4.
7) Обведите номер правильного ответа
ЕСЛИ Х – «7 ПРОСТОЕ ЧИСЛО», Y – «7 СОСТАВНОЕ ЧИСЛО», Z – «8 ПРОСТОЕ ЧИСЛО», T – «8 СОСТАВНОЕ ЧИСЛО», ТО ИСТИННЫМИ ЯВЛЯЮТСЯ ПРЕДЛОЖЕНИЯ
1.
2.
3.
4.
8) впишите ответ прописными буквами
ВЫСКАЗЫВАНИЕ «Я ПОЕДУ ИЛИ НА АВТОБУСЕ, ИЛИ НА ТАКСИ» ЗАПИСАННОЕ ВВИДЕ ФОРМУЛЫ ВЫГЛЯДИТ _________
9) Обведите номер правильного ответа
ТОЖДЕСТВЕННО ИСТИННЫМИ ЯВЛЯЮТСЯ ФОРМУЛЫ
1.
; 3.2.
4.10) Обведите номер правильного ответа
ПРИ УПРОЩЕНИИ ФОРМУЛЫ
С ПОМОЩЬЮ ФОРМУЛ РАВНОСИЛЬНОСТИ ОНА ИМЕЕТ ВИД
1.
;2.
;3.
;4.
.11) Обведите номер правильного ответа
ФОРМУЛА
ЗАПИСАННАЯ ЧЕРЕЗ ДИЗЪЮНКЦИЮ И ОТРИЦАНИЕ ИМЕЕТ ВИД
1.
2.
3.
4.
12) Обведите номер правильного ответа
ПРЕДЛОЖЕНИЮ «ТОЛЬКО ОДНО ИЗ ВЫСКАЗЫВАНИЙ А,В,С ИСТИННО» СООТВЕТСТВУЕТ ФОРМУЛА
1.
2.
;3.
4.
13) Обведите номер правильного ответа
СДНФ НЕКОТОРОЙ ФОРМУЛЫ ДВУХ ПЕРЕМЕННЫХ
1.
;2.
;3.
;4.
.14) Обведите номер правильного ответа
ФОРМУЛА
ЗАПИСАННАЯ В СДНФ ИМЕЕТ ВИД
1.
2.