- Преподавателю
- Другое
- Тест по теме Алгебра высказываний
Тест по теме Алгебра высказываний
Раздел | Другое |
Класс | - |
Тип | Тесты |
Автор | Копрянцева Ю.Н. |
Дата | 05.11.2015 |
Формат | doc |
Изображения | Есть |
Тест по теме: «Алгебра высказываний»
(правильных ответов может быть больше одного)
1. Вектор, соответствующий последнему столбцу в таблице истинности для конъюнкции:
-
(1101)
-
(0001)+
-
(0111)
-
(1001)
2. Укажите верные тождества
-
+
-
-
+
-
3. Укажите булеву формулу алгебры высказываний
-
-
-
+
-
4. Определите ранг формулы
-
4
-
5
-
6+
-
7
5. Определите формулу, двойственную к формуле
-
+
-
-
-
6. Вектор-столбец значений таблицы истинности формулы: (11001000). Определите столбец значений для двойственной формулы.
-
(00110111)
-
(11101100)+
-
(01010001)
-
(10101110)
7. Для формулы определите СКНФ.
-
-
-
-
+
8. Определите тождественно ложную формулу
-
+
-
-
-
9. Вектор, соответствующий последнему столбцу в таблице истинности для импликации:
-
(1101) +
-
(0001)
-
(0111)
-
(1001)
10. Укажите верные тождества
-
+
-
-
-
11. Укажите булеву формулу алгебры высказываний
-
+
-
-
-
+
12. Определите ранг формулы
-
4
-
5+
-
6
-
7
13. Определите формулу, двойственную к формуле
-
-
-
+
-
14. Вектор-столбец значений таблицы истинности формулы: (01110101). Определите столбец значений для двойственной формулы.
-
(00110111)
-
(11101100)
-
(01010001)+
-
(10101110)
15. Для формулы определите ДНФ.
-
-
-
-
+
16. Определите тождественно истинную формулу
-
-
+
-
-
+
17.Вентиль реализует функцию
-
-
+
-
-
Ответы:
-
b
-
ac
-
c
-
c
-
a
-
b
-
d
-
a
-
a
-
a
-
ad
-
b
-
c
-
c
-
d
-
d
-
b