1 23 Закрытый тип
Сформулированы следующие логические высказывания: а - ”Студент систематически занимается спортом.”; b - ”Студент практически не болеет.” Тогда высказывание Студент практически не болеет, так как систематически занимается спортом.” можно представить логической формулой:
*1) |
|
2) |
|
3) |
|
4) |
|
1 24 Закрытый тип
Сформулированы следующие логические высказывания: а - ”Фирма начинает разработку нового продукта”; b - ”Фирма приглашает на работу специалиста в области новейших технологий”. Тогда высказывание ” Фирма начинает разработку нового продукта и поэтому приглашает на работу специалиста в области новейших технологий.” можно представить логической формулой:
1) |
|
2) |
|
*3) |
|
4) |
|
1 25 Закрытый тип
Сформулированы следующие логические высказывания: а - ”Этот юноша –студент”; b - ”Этот юноша - предприниматель”. Тогда высказывание ” Этот юноша - студент, но не предприниматель.” можно представить логической формулой:
1) |
|
*2) |
|
3) |
|
4) |
|
1Закрытый тип
Данная формула
эквивалентна
формуле
1) |
|
2) |
|
*3) |
|
4) |
|
3 2 Закрытый тип
Данная формула
эквивалентна
формуле
*1) |
|
2) |
|
3) |
|
4) |
|
3 3 Закрытый тип
Данная формула
эквивалентна
формуле
1) |
|
2) |
|
3) |
|
*4) |
|
3 4 Закрытый тип
Данная формула
эквивалентна
формуле
*1) |
|
2) |
|
3) |
|
4) |
|
3 5 Закрытый тип
Данная формула
эквивалентна
формуле
1) |
|
2) |
|
3) |
|
*4) |
|
3 6 Закрытый тип
Данная формула
эквивалентна
формуле
1) |
|
2) |
|
3) |
|
*4) |
|
3 7 Закрытый тип
Данная формула
эквивалентна
формуле
1) |
|
2) |
|
*3) |
|
4) |
|
3 8 Закрытый тип
Данная формула
эквивалентна
формуле
1) |
|
2) |
|
*3) |
|
4) |
|
3 9 Закрытый тип
Данная формула
эквивалентна
формуле
1) |
|
2) |
|
3) |
|
*4) |
|
3 10 Закрытый тип
Данная формула
эквивалентна
формуле
1) |
|
2) |
|
*3) |
|
4) |
|
3 11 Закрытый тип
Ассоциативность конъюнкции выражается равенствами:
1) |
|
2) |
|
3) |
|
*4) |
|
2 12 Закрытый тип
Дистрибутивность дизъюнкции относительно конъюнкции выражается равенством:
1) |
|
*2) |
|
3) |
|
4) |
|
1 13 Закрытый тип
Дистрибутивность конъюнкции относительно дизъюнкции выражается равенством:
*1) |
|
2) |
|
3) |
|
4) |
|
1 14 Закрытый тип
Правило де Моргана относительно дизъюнкции выражается равенством:
1) |
|
2) |
|
3) |
|
*4) |
|
1 15 Закрытый тип
Правило де Моргана относительно конъюнкции выражается равенством
1) |
|
*2) |
|
3) |
|
4) |
|
1 16 Закрытый тип
Формула
эквивалентна
формуле
1) |
|
2) |
|
*3) |
|
4) |
|
2 17 Закрытый тип
Формула
эквивалентна
формуле
1) |
|
2) |
|
3) |
|
*4) |
|
2 18 Закрытый тип
Формула
эквивалентна
формуле
*1) |
|
2) |
|
3) |
|
4) |
|
2 19 Закрытый тип
Формула
эквивалентна
формуле
1) |
|
2) |
|
3) |
|
*4) |
|
2 20 Закрытый тип
Формула
эквивалентна
формуле
1) |
|
2) |
|
*3) |
|
4) |
|
Закрытый тип
Дана таблица истинности для функции f(a,b,c):
Совершенная дизъюнктивная нормальная форма этой функции имеет вид:
1) |
|
2) |
|
3) |
|
*4) |
|
2 2 Закрытый тип
Дана таблица истинности для функции f(a,b,c):
Совершенная дизъюнктивная нормальная форма этой функции имеет вид:
1) |
|
2) |
|
*3) |
|
4) |
|
2 3 Закрытый тип
Дана таблица истинности для функции f(a,b,c):
Совершенная конъюнктивная нормальная форма этой функции имеет вид:
1) |
|
*2) |
|
3) |
|
4) |
|
2 4 Закрытый тип
Дана таблица истинности для функции f(a,b,c):
Совершенная дизъюнктивная нормальная форма этой функции имеет вид:
1) |
|
*2) |
|
3) |
|
4) |
|
2 5 Закрытый тип
Дана таблица истинности для функции f(a,b,c):
Совершенная дизъюнктивная нормальная форма этой функции имеет вид:
1) |
|
2) |
|
*3) |
|
4) |
|
2 6 Закрытый тип
Дана таблица истинности для функции f(a,b,c):
Совершенная конъюнктивная нормальная форма этой функции имеет вид:
1) |
|
2) |
|
*3) |
|
4) |
|
2 7 Закрытый тип
Дана таблица истинности для функции f(a,b,c):
Совершенная конъюнктивная нормальная форма этой функции имеет вид:
1) |
|
2) |
|
3) |
|
*4) |
|
2 8 Закрытый тип
Дана таблица истинности для функции f(a,b,c):
Совершенная конъюнктивная нормальная форма этой функции имеет вид:
1) |
|
2) |
|
3) |
|
*4) |
|
2 9 Закрытый тип
Дана таблица истинности для функции f(a,b,c):
Совершенная дизъюнктивная нормальная форма этой функции имеет вид:
1) |
|
2) |
|
3) |
|
*4) |
|
2 10 Закрытый тип
Данная логическая функция
дизъюнктивной нормальной форме имеет вид:
1) |
|
2) |
|
3) |
|
*4) |
|
3 11 Закрытый тип
Данная логическая функция
в дизъюнктивной нормальной форме имеет вид:
1) |
|
2) |
|
*3) |
|
4) |
|
3 12 Закрытый тип
Данная логическая функция
в конъюнктивной нормальной форме имеет вид:
*1) |
|
2) |
|
3) |
|
4) |
|
3 13 Закрытый тип
Данная логическая функция
в конъюнктивной нормальной форме имеет вид:
1) |
|
*2) |
|
3) |
|
4) |
|
3 14 Закрытый тип
Данная логическая функция
в конъюнктивной нормальной форме имеет вид:
1) |
|
*2) |
|
3) |
|
4) |
|
3 15 Закрытый тип
Данная логическая функция
в конъюнктивной нормальной форме имеет вид:
1) |
|
2) |
|
*3) |
|
4) |
|
3 16 Закрытый тип
Данная логическая функция
в дизъюнктивной нормальной форме имеет вид:
1) |
|
2) |
|
*3) |
|
4) |
|
3 17 Закрытый тип
Данная логическая функция
в дизъюнктивной нормальной форме имеет вид:
1) |
|
*2) |
|
3) |
|
4) |
|
3 18 Закрытый тип
Данная логическая функция
в дизъюнктивной нормальной форме имеет вид:
1) |
|
*2) |
|
3) |
|
4) |
|
3 19 Закрытый тип
Данная логическая функция
в конъюнктивной нормальной форме имеет вид:
*1) |
|
2) |
|
3) |
|
4) |
|
3 20 Закрытый тип
Конъюнкция переменных или их отрицаний, в которой каждая переменная встречается не более одного раза, называется
1) |
конъюнктивной нормальной формой логической функции |
*2) |
элементарной конъюнкцией |
3) |
дизъюнктивной нормальной формой логической функции |
4) |
совершенной конъюнктивной нормальной формой логической функции |
1 21 Закрытый тип
Логическая функция, имеющая вид дизъюнкции элементарных конъюнкций, представлена
*1) |
в дизъюнктивной нормальной форме |
2) |
в совершенной дизъюнктивной нормальной форме |
3) |
в совершенной конъюнктивной нормальной форме |
4) |
в совершенной нормальной форме |
1 22 Закрытый тип
Логическая функция, имеющая вид конъюнкции элементарных дизъюнкций, представлена
1) |
в совершенной конъюнктивной нормальной форме |
2) |
в совершенной дизъюнктивной нормальной форме |
3) |
в дизъюнктивной нормальной форме |
*4) |
в конъюнктивной нормальной форме |
1 23 Закрытый тип
Логическая функция, имеющая вид конъюнкции элементарных дизъюнкций, содержащих все переменные, представлена
1) |
в конъюнктивной нормальной форме |
2) |
в совершенной дизъюнктивной нормальной форме |
*3) |
в совершенной конъюнктивной нормальной форме |
4) |
в дизъюнктивной нормальной форме |
1 24 Закрытый тип
От табличного задания логической функции можно непосредственно перейти к логической функции
*1) |
в совершенной дизъюнктивной нормальной форме |
2) |
в конъюнктивной нормальной форме |
*3) |
в совершенной конъюнктивной нормальной форме |
4) |
в дизъюнктивной нормальной форме |
1 25 Закрытый типДана таблица истинности для функции f(a,b,c):
Совершенная конъюнктивная нормальная форма этой функции имеет вид:
1) |
|
2) |
|
3) |
|
*4) |
|
2Закрытый тип
Данное логическое уравнение
( t = 0 )
1) |
имеет два решения |
2) |
имеет восемь решений |
3) |
имеет решение a=t, b=f, c=f |
4) |
имеет бесконечное множество решений |
*5) |
имеет единственное решение |
*6) |
имеет решение a=t, b=t, c=t |
2 2 Закрытый тип
Данное логическое уравнение
( t = 0 )
*1) |
имеет решение a=f, b=t, c=f |
2) |
имеет решение a=f, b=f, c=t |
*3) |
имеет единственное решение |
4) |
имеет восемь решений |
5) |
не имеет решения |
2 3 Закрытый тип
Данное логическое уравнение
1) |
имеет решение a=f, b=t, c=f |
2) |
не имеет решения |
3) |
имеет решение a=t, b=f, c=f |
4) |
имеет два решения |
*5) |
имеет единственное решение |
*6) |
имеет решение a=t, b=t, c=f |
2 4 Закрытый тип
Данное логическое уравнение
*1) |
имеет решение a=t, b=f, c=t |
2) |
имеет два решения |
3) |
имеет решение a=f, b=f, c=f |
4) |
имеет бесконечное множество решений |
5) |
не имеет решения |
2 5 Закрытый тип
Данное логическое уравнение
( t = 0 )
1) |
имеет решение a=f, b=f, c=f |
*2) |
имеет решение a=t, b=f, c=t |
*3) |
имеет решение a=t, b=t, c=t |
*4) |
имеет два решения |
5) |
не имеет решений |
6) |
имеет три решения |
7) |
имеет восемь решений |
2 6 Закрытый тип
Данное логическое уравнение
( t = 0 )
1) |
имеет восемь решений |
*2) |
имеет решение a=t, b=f, c=t |
3) |
имеет бесконечное множество решений |
4) |
имеет решение a=t, b=t, c=t |
5) |
не имеет решения |
2 7 Закрытый тип
Данное логическое уравнение
1) |
имеет решение a=t, b=t, c=f |
*2) |
противоречиво |
*3) |
не имеет решения |
4) |
имеет бесконечное множество решений |
5) |
имеет решение a=t, b=f, c=f |
6) |
имеет единственное решение |
2 8 Закрытый тип
Данное логическое уравнение
1) |
имеет восемь решений |
2) |
имеет только два решения |
*3) |
имеет единственное решение |
4) |
имеет бесконечное множество решений |
5) |
имеет решение a=t, b=t, c=f |
*6) |
имеет решение a=t, b=f, c=f |
2 9 Закрытый тип
Данное логическое уравнение
( t = 0 )
1) |
имеет решение a=t, b=f, c=t |
2) |
имеет бесконечное множество решений |
3) |
имеет решение a=t, b=t, c=t |
4) |
имеет восемь решений |
*5) |
имеет решение a=f, b=t, c=t |
2 10 Закрытый тип
Данное логическое уравнение
( t = 0 )
*1) |
имеет решение a=f, b=f, c=t |
2) |
не имеет решений |
3) |
имеет четыре решения |
*4) |
имеет решение a=t, b=f, c=t |
5) |
имеет восемь решений |
6) |
имеет единственное решение |
*7) |
имеет два решения |
2 11 Закрытый тип
Данное логическое уравнение
1) |
не имеет решения |
2) |
имеет решение a=t, b=f, c=t |
*3) |
имеет решение a=f, b=f, c=f |
*4) |
имеет единственное решение |
5) |
имеет два решения |
6) |
имеет решение a=f, b=t, c=f |
2 12 Закрытый тип
Данное логическое уравнение
*1) |
имеет решение a=f, b=t, c=f |
2) |
имеет только два решения |
3) |
имеет бесконечное множество решений |
4) |
не имеет решения |
5) |
имеет единственное решение |
*6) |
имеет восемь решений |
3 13 Закрытый тип
Данное логическое уравнение
1) |
не имеет решения |
*2) |
имеет восемь решений |
*3) |
имеет решение a=f, b=t, c=f |
4) |
имеет только два решения |
5) |
имеет единственное решение |
3 14 Закрытый тип
Данное логическое уравнение
*1) |
имеет решение a=f, b=f, c=t |
2) |
имеет восемь решений |
3) |
имеет решение a=t, b=t, c=t |
4) |
не имеет решения |
5) |
имеет бесконечное множество решений |
1 15 Закрытый тип
Данное логическое уравнение
*1) |
имеет два решения |
2) |
не имеет решений |
*3) |
имеет решение a=f, b=t, c=f |
4) |
имеет восемь решений |
5) |
имеет бесконечное множество решений |
*6) |
имеет решение a=f, b=f, c=f |
7) |
имеет единственное решение |
3 16 Закрытый тип
Данное логическое уравнение
1) |
имеет восемь решений |
2) |
не имеет решений |
3) |
имеет единственное решение |
*4) |
имеет решение a=f, b=f, c=f |
*5) |
имеет два решения |
6) |
имеет четыре решения |
*7) |
имеет решение a=t, b=f, c=f |
3 17 Закрытый тип
Данное логическое уравнение
1) |
не имеет решения |
*2) |
имеет решение a=t, b=f, c=f |
3) |
имеет бесконечное множество решений |
4) |
имеет два решения |
5) |
имеет решение =t, b=t, c=t |
1 18 Закрытый тип
Данное логическое уравнение
1) |
имеет восемь решений |
*2) |
имеет решение a=f, b=t, c=f |
3) |
не имеет решений |
4) |
имеет бесконечное множество решений |
*5) |
имеет два решения |
*6) |
имеет решение a=f, b=t, c=t |
7) |
имеет решение a=t, b=t, c=f |
3 19 Закрытый тип
Данное логическое уравнение
*1) |
имеет решение a=f, b=t, c=f |
2) |
не имеет решения |
3) |
имеет два решения |
*4) |
имеет единственное решение |
5) |
имеет решение a=f, b=t, c=t |
6) |
имеет решение a=t, b=f, c=f |
2 20 Закрытый тип
Данное логическое уравнение
*1) |
имеет единственное решение |
2) |
имеет решение a=t, b=f, c=f |
3) |
имеет два решения |
4) |
имеет решение a=t, b=t, c=f |
*5) |
имеет решение a=f, b=t, c=f |
6) |
не имеет решения |
2 21 Закрытый тип
Данное логическое уравнение
1) |
имеет восемь решений |
2) |
не имеет решений |
*3) |
имеет решение a=t, b=f, c=f |
*4) |
имеет решение a=t, b=t, c=f |
*5) |
имеет два решения |
6) |
имеет единственное решение |
7) |
имеет бесконечное множество решений |
3 22 Закрытый тип
Данное логическое уравнение
1) |
имеет решение a=f, b=f, c=f |
2) |
имеет два решения |
3) |
имеет восемь решений |
*4) |
имеет решение a=t, b=t, c=f |
5) |
имеет бесконечное множество решений |
1 23 Закрытый тип
Данное логическое уравнение
*1) |
имеет решение a=t, b=f, c=f |
2) |
не имеет решения |
3) |
имеет бесконечное множество решений |
4) |
имеет восемь решений |
5) |
имеет решение a=t, b=t, c=t |
1 24 Закрытый тип
Данное логическое уравнение
1) |
не имеет решения |
2) |
имеет решение a=f, b=f, c=f |
3) |
имеет бесконечное множество решений |
*4) |
имеет решение a=f, b=t, c=t |
5) |
имеет восемь решений |
2 25 Закрытый тип
Данное логическое уравнение
( t = 0 )
1) |
имеет решение a=t, b=t, c=t |
2) |
не имеет решения |
*3) |
имеет решение a=f, b=t, c=f |
4) |
имеет бесконечное множество решений |
5) |
имеет восемь решений |
2 26 Закрытый тип
Данное логическое уравнение
1) |
имеет два решения |
*2) |
имеет решение a=f, b=t, c=f |
3) |
не имеет решения |
4) |
имеет восемь решений |
5) |
имеет решение a=f, b=f, c=f |
2Закрытый тип
Все предметные переменные атомарных формул –
1) |
связаны квантором существования |
2) |
связанные |
3) |
связаны квантором общности |
*4) |
свободные |
1 2 Закрытый тип
Всякий предикат
определяет
отношение R такое, что
тогда
и только тогда, когда выполняется
условие:
*1) |
|
2) |
|
3) |
|
4) |
|
1 3 Закрытый тип
Для данной интерпретации в логике предикатов каждая формула без свободных предметных переменных
*1) |
представляет собой логическое высказывание |
2) |
всегда принимает значение “истина” |
3) |
выражает предикат |
4) |
всегда принимает значение “ложь” |
1 4 Закрытый тип
Для данной интерпретации в логике предикатов каждая формула со свободными предметными переменными
1) |
всегда принимает значение “ложь” |
2) |
всегда принимает значение “истина” |
*3) |
выражает предикат |
4) |
представляет собой логическое высказывание |
1 5 Закрытый тип
Заданы множества
.
При
функция принимает одно из значений “истина” или “ложь”. Такую функцию называют
*1) |
n-местным предикатом |
2) |
функцией от n логических переменных |
3) |
n-мерным вектором |
4) |
бинарным отношением |
1 6 Закрытый тип
Предметная переменная x является связанной в выражении
1) |
|
*2) |
|
3) |
|
4) |
|
1 7 Закрытый тип
Пусть P(X) – предикат,
определенный на множестве М.
Тогда формуле логики предикатов
может
соответствать на естественном языке
формулировка:
1) |
“ |
2) |
“Для всех из М высказывание выполнимое” |
*3) |
“Существует из М такое, что высказывание истинно” |
4) |
“ истинно” |
тождественно истинно для всех
из
любых множеств”