Введем новое сокращение: "
B = (A
B) & (B
A)
Таблица истинности (построена по тому же принципу, что и для следования):
№ | ![]() | ||
1 | ![]() | ||
2 | ![]() | ||
3 | ![]() | ||
4 | ![]() |
Когда истинно B
Из этих формул для истинности B
Выражение операции "
"
B =
A &
~A &
(A
B)
Выражение операции "
"
B =
(A
B) & A
Из свойств операции "
Если B)
B)
Если B)
A)
B) = (~A
~B)
B) = (A
B) & (B
A)
Доказательство их - через таблицы истинности для равносильности и общего следования.