Основы математической логики
Список вопросов теста
Вопрос 1
Какое логическое выражение соответствует следующей схеме?

Варианты ответов
-
\(\overline{A}\ \&\ \overline{B}\)
-
\(\overline{A\ \&\ B}\)
-
\(A\ \&\ B\)
-
\(A\ \vee\ B\)
Вопрос 2
Разбирается дело Джона, Брауна и Смита. Известно, что один из них нашёл и утаил клад. На следствии каждый из подозреваемых сделал два заявления.
Смит: «Я не делал этого. Браун сделал это».
Джон: «Браун не виновен. Смит сделал это».
Браун: «Я не делал этого. Джон не делал этого».
Суд установил, что один из них дважды солгал, другой дважды сказал правду, третий один раз солгал, один раз сказал правду. Кто из подозреваемых должен быть оправдан?
Варианты ответов
- Смит
- Джон и Браун
- Браун и Смит
- Джон и Смит
Вопрос 3
Для скольких наборов значений переменных ложно выражение \(A\ \wedge\ B\ \wedge\ C\ \wedge\ D\) ?
Варианты ответов
- 15
- 4
- 16
- 1
Вопрос 4
Какому логическому выражению соответствует следующая таблица истинности?

Варианты ответов
-
\(\overline{A}\ \wedge\ \overline{B}\)
-
\(A\ \vee\ B\)
-
\(A\ \wedge\ B\)
-
\(\overline{A\ \wedge\ B}\)
Вопрос 5
На перекрёстке произошло дорожно-транспортное происшествие, в котором участвовали автобус (А), грузовик (Г), легковой автомобиль (Л) и маршрутное такси (М). Свидетели происшествия дали следующие показания. Первый свидетель считал, что первым на перекрёсток выехал автобус, а маршрутное такси было вторым. Другой свидетель полагал, что последним на перекрёсток выехал легковой автомобиль, а вторым был грузовик. Третий свидетель уверял, что автобус выехал на перекрёсток вторым, а следом за ним — легковой автомобиль. В результате оказалось, что каждый из свидетелей был прав только в одном из своих утверждений. В каком порядке выехали машины на перекрёсток? В вариантах ответов перечислены подряд без пробелов первые буквы названий транспортных средств в порядке их выезда на перекрёсток:
Варианты ответов
- АМЛГ
- ГЛМА
- МЛГА
- АГЛМ
Вопрос 6
В языке запросов поискового сервера для обозначения логической операции ИЛИ используется символ «|», а для обозначения логической операции И — символ «&». В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.

Какое количество страниц (в тысячах) будет найдено по запросу \(крейсер\ |\ линкор\)?
Варианты ответов
- 6300
- 4000
- 5900
- 7500
Вопрос 7
Сколько всего целых значений X, для которых истинно следующее высказывание:
НЕ (X < 5) И НЕ (X > 9)?
Варианты ответов
- 8
- 5
- 3
- 4
Вопрос 8
Для какого символьного выражения верно высказывание:
«НЕ (Первая буква согласная) И НЕ (Вторая буква гласная)»?
Варианты ответов
- babas
- bcade
- cabab
- abcde
Вопрос 9
Для какого из указанных значений числа X истинно высказывание
((X < 5) ∨ (X < 3)) ∧ ((X < 2) ∨ (X < 1))?
Варианты ответов
- 2
- 3
- 4
- 1
Вопрос 10
Какое высказывание является ложным?
Варианты ответов
- Дизъюнкцию называют логическим сложением.
- Знаком ∨ обозначается логическая операция конъюнкция.
- Знаком ∨ обозначается логическая операция ИЛИ.
- Логическую операцию ИЛИ также называют логическим сложением.
Вопрос 11
Какое предложение НЕ является высказыванием?
Варианты ответов
-
10112 = 1 · 23 + 0 · 22 + 1 · 21 + 1 · 20.
-
Обязательно стань отличником.
-
Логика — наука о законах и формах человеческого мышления.
-
Никакая причина не извиняет невежливость.


