Основы математической логики

Контрольное тестирование для 10 класса на тему "Теоретические основы информатики"

1 вариант

1. Логическая операция, которая ставит в соответствие двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба входящие в него высказывания истинны

1. Конъюнкция

2. Дизъюнкция

3. Инверсия

4. Импликация

2. Логическая операция, которая ставит в соответствие высказыванию новое высказывание, значение которого является противоположным исходному

1. Конъюнкция

2. Дизъюнкция

3. Инверсия

4. Импликация

3. Оцените два высказывания и определите значение их конъюнкции:

А:  Март – это весна

В:  Синус угла измеряется в градусах

1. Истина

2. Ложь

4. Определите входные параметры высказываний А, В и С, при которых значение выражения, указанного ниже, ложно:

N = A∨¬B∧¬C. Построить таблицу истинности.

1. 000, 011, 111

2. 001, 110, 111

3. 001, 010, 011

4. 010, 101, 011

5. Построить схему:

F =  (¬A∨B) ∨ ¬ (B∧¬C)

Контрольное тестирование для 10 класса на тему "Теоретические основы информатики"

2 вариант

1. Логическая операция, которая ставит в соответствие двум высказываниям новое высказывание, являющееся ложным тогда и только тогда, когда все входящие в него высказывания ложны

1. Конъюнкция

2. Дизъюнкция

3. Инверсия

4. Импликация

2. Логическая операция, ставящая в соответствие двум высказываниям новое, являющееся ложным тогда и только тогда, когда первое высказывание истинно, а второе – ложно

1. Конъюнкция

2. Дизъюнкция

3. Инверсия

4. Импликация

3. Оцените два высказывания и определите значение их дизъюнкции:

А:  Рубль - денежная единица

В:  В апреле 31 день

1. Истина

2. Ложь

4. Определите входные параметры высказываний А, В и С, при которых значение выражения, указанного ниже, истинно:

N = ¬A∧(¬B∨C) Построить таблицу истинности

1. 001, 011, 111

2. 000, 001, 011

3. 001, 010, 101

4. 010, 101, 011

5. Построить схему:

F = ¬(A∧¬B) ∨ (¬B∨C)

6. Исходя из логической схемы, запиши выражение:

6. Исходя из логической схемы, запиши выражение: