Задача 3.1 Упростить формулы алгебры высказываний, выполните проверку.
а) ; б)
; в)
; г)
; д)
.
Решение. Выполним преобразования, указав номера используемых законов
а)
0.
A | B | ![]() | ![]() | ![]() |
Формула является противоречием, так как при всех наборах значений переменных равна 0.
б)
.
A | B | ![]() | ![]() | ![]() | ![]() |
Формула является выполнимой, так как при некоторых наборах значений переменных равна 0, при других наборах значений переменных равна 1.
Практические задания
4.1 Упростить формулу, выполнить проверку.
Вариант 1
а) ![]() ![]() ![]() | Вариант 2
а) ![]() ![]() ![]() |
Вариант 3
а) ![]() ![]() ![]() | Вариант 4
а) ![]() ![]() ![]() |
Контрольные вопросы
1) Перечислите законы преобразований формул алгебры высказываний.
2)Как можно проверить правильность преобразований?