Тесты Алгебра высказываний
Выделите все утверждения, являющиеся высказываниями: а)
б)
(верно)
в)
(верно)
г)
Выберите высказывание: а)
б)
Студент Армавирского государственного
педагогического университета
в)
Соблюдайте правила дорожного движения
г)
Все простые числа нечетны (верно)Установите соответствие между высказываниями и их отрицаниями: 1) 6 > 3 1) 6 ≠ 3 2) 6 = 3 2) 6 < 3 3) 6 ≤ 3 3) 6 ≤ 3 4) 6 > 3 Ответ: 1 – 3; 2 – 1; 3 – 4
Укажите пару высказываний, являющихся отрицаниями друг друга а) «5 < 10», «5 > 10» б) «функция f – четная», «функция f – не четная» в) «
»,
«
»
(верно)
г)
«Все простые числа нечетны», «Все
простые числа четны»Таблица истинности конъюнкции имеет вид:
(верно)
Таблица истинности дизъюнкции имеет вид:
(верно)
Таблица истинности импликации имеет вид:
(верно) 
Таблица истинности эквивалентности имеет вид
(верно) 
Формулы алгебры высказываний
Укажите последовательность символов, являющуюся формулой алгебры высказываний: а)
(верно)
б)
в)
г)
Упорядочить логические операции в соответствии с их приоритетом 1) конъюнкция 2) отрицание 3) импликация 4) дизъюнкция Ответ: отрицание; конъюнкция; дизъюнкция; импликация
Формула алгебры высказываний называется …, если она обращается в истинное высказывание при всех наборах значений пропозициональных переменных 1) выполнимой 2) тождественной истинной (верно) 3) тождественно ложной 4) опровержимой
Выберите набор значений пропозициональных переменных, на котором формула алгебры высказываний
принимает значение 0:
1)
(верно) 2)
3)
4)
Укажите тождественно ложную формулу алгебры высказываний: 1)
2)
(верно)
3)
4)
Укажите тождественно истинную формулу алгебры высказываний: 1) (верно) 2) 3) 4)
Равносильность формул алгебры высказываний
Установите соответствие между тавтологиями и их названиями: 1) 1) закон двойного отрицания 2)
2)
закон де Моргана
3)
3)
закон исключенного третьего
4)
закон тождества
Ответ:
1 – 3; 2 – 4; 3 – 1.Установите соответствие между равносильными формулами алгебры высказываний: 1)
1)
2)
2)
3)
3)
4)
Ответ:
1 – 4; 2 – 2; 3 – 1.Из приведенныхравносильностей выберите закон поглощения: 1)
2)
3)
(верно) 4)
Из приведенных формул алгебры высказываний выберите закон контрапозиции: 1)
(верно) 2)
3)
4)
Из приведенныхравносильностей выберите законы де Моргана: 1) (верно) 2)
3)
(верно) 4)
Тавтология
определяет свойство …
1) идемпотентность
конъюнкции
2) коммутативность
конъюнкции
3) ассоциативность
конъюнкции (верно)
4)
дистрибутивность конъюнкции относительно
дизъюнкции
Нормальные формы для формул алгебры высказываний
СКН-форма не существует у формулы алгебры высказываний, если она … 1) тождественно истинная (верно) 2) тождественно ложная 3) выполнимая 4) опровержимая
СДН-форма не существует у формулы алгебры высказываний, если она … 1) тождественно истинная 2) тождественно ложная (верно) 3) выполнимая 4) опровержимая
По набору значений переменных (0, 1) укажите конъюнктивный одночлен, принимающий значение 1 только на этом наборе значений переменных: 1)
2)
(верно)
3)
4)
По набору значений переменных (1, 0) укажите дизъюнктивный одночлен, принимающий значение 0 только на этом наборе значений переменных: 1)
2)
(верно)
3)
4)
Среди формул алгебры высказываний выберите ДН-форму: 1)
2)
(верно)
3)
4)
Среди формул алгебры высказываний выберите КН-форму: 1) 2) 3) (верно) 4)
Среди формул алгебры высказываний выберите СКН-форму: 1) 2)
3)
4)
(верно)Среди формул алгебры высказываний выберите СДН-форму: 1) 2) (верно) 3) 4)
Укажите СКН-форму, удовлетворяющую условиям
:
1)
2)
3)
(верно) 4)
Укажите СДН-форму, удовлетворяющую условиям
:
1)
(верно) 2)
3)
4)
X
Булевы функции