Составители:
Рубрика:
18
Примеры для практических занятий.
Доопределить функцию и выписать минимальное выражение из диа
грамм Вейча:
11–
––
–1–
1– 1
1– ––
11 –1 –
1
–1 1–
––1
11 – –
1–
1– –––
2.7. Проверка равенств в булевой алгебре
Для того чтобы доказать равенство двух функций в булевой алгеб
ре, например F(x
1
, x
2
, …, x
n
) = P(x
1
, x
2
, …, x
n
), необходимо и доста
точно показать, что на всех наборах аргументов x
1
, x
2
, …, x
n
левая
часть равенства совпадает с правой частью. Таким образом, для дока
зательства равенства достаточно показать, что диаграммы Вейча ле
вой и правой части совпадают. Например:
(AB ¯ BC) ® BD = ù(ùB Ú ùAùCùD).
Для доказательства этого равенства построим диаграммы Вейча для
левой и правой части равенства. При этом независимо от того, сколь
ко аргументов имеется в выбранном фрагменте, будем строить диаграм
мы Вейча на полное число аргументов. В данном случае на
4 аргумента.
A
B
D
C
a)
b)
с)
A
B
E
C
D
A
B
E
C
D
Страницы
- « первая
- ‹ предыдущая
- …
- 16
- 17
- 18
- 19
- 20
- …
- следующая ›
- последняя »
