Проверочная работа по основам логики 11 класс
1. Составьте таблицы истинности для выражений:
A) ¬ (a v b)/\(c v b)
Б) (A→B\/C)↔(B/\A)
В) (А\/В)v(А/\¬В)
2. Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z.
Дан фрагмент таблицы истинности выражения F:
Какое выражение соответствует F?
X
Y
Z
F
1
0
0
1
0
0
0
1
1
1
1
0
3. Для какого из названий животных ложно высказывание:
1)
¬X /\ ¬Y /\ ¬Z
2)
X /\ Y /\ Z
3)
X \/ Y \/ Z
4)
¬X \/ ¬Y \/ ¬Z
(Заканчивается на согласную букву) /\ (В слове 7 букв) → ¬ (Третья буква согласная)?
1) Верблюд
2) Страус
3) Кенгуру
4) Леопард
4. Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F. Какое выражение соответствует F?
X
Y
Z
F
0
0
0
1
0
0
1
0
0
1
0
1
1)
¬X/\¬Y/\Z
2)
¬X\/¬Y\/Z
3)
X\/Y\/¬Z
4)
X\/Y\/Z
5. Какое из приведенных названий стран удовлетворяет следующему логическому условию: ((последняя буква согласная) \/ (первая буква согласная)) → (название содержит букву «п»)?
1) Бразилия
2) Мексика
3) Аргентина
4) Куба
6. Какое из приведенных названий городов удовлетворяет следующему логическому условию:
((первая буква гласная) \/ (последняя буква гласная)) —> (название содержит букву «ф»)?
1) Дюссельдорф
2) Прага
3) Венеция
4) Тулуза
Автор: Ромашова Анастасия Викторовна