Составители:
Рубрика:
13
1.7. Проверка равенств в булевой алгебре
Для того чтобы доказать равенство двух функций в булевой алгебре,
например, F(x
1
, x
2
, …, x
n
) = P(x
1
, x
2
, …, x
n
), необходимо и достаточно
показать, что на всех наборах аргументов x
1
, x
2
, …, x
n
левая часть ра-
венства совпадает с правой.
Например:
(AB ↓ BC) → BD =
().BACD∨
Для доказательства этого равенства построим диаграммы Вейча для
левой и правой части равенства. Левая часть равенства
A
B
D
C
а) б)
1– – –
11 – 1 –
1
–1 1–
d
a
b
c
e
––1
11 – –
1–
1– – – –
a
b
c
d
e
в)
11111111
111 111111
111 11 11
11111
A
B
A
B
A
B
A
B
A
B
C
D
AB BC AB↓BC BD AB↓BC→BD
11–
––
–1–
1– 1
Страницы
- « первая
- ‹ предыдущая
- …
- 11
- 12
- 13
- 14
- 15
- …
- следующая ›
- последняя »
