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