Основы синтеза и диагностирования автоматов. Воронин В.В. - 110 стр.

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

Составители: 

Рубрика: 

106
Таблица 3.23
№
Дизъюнктивная
форма
(а)
Конъюнктивная
форма
(б)
Наименование
1
⎯
0=1
⎯
1=0
2
х+0=х
х
&
1=х
3
х+1=1
х
&
0=0
4
x+х=х
х
&
х=х
5
⎯
x+х=1
⎯
х
&
х=0
Законы исклю-
ченного третьего
и противоречия
6
x
x
=
Двойное
отрицание
7
х+у=у+х
х
&
у=у
&
х
Коммутативность
8
x+x
&
y=x
x
&
(x+y)=x
Поглощение
9
x +
⎯
x
&
y=x+y x
&
(
⎯
x+y )=x
&
y
Поглощение
10
yxyx ∧=∨ yxyx ∨=∧
Де Моргана
11
(x+y)+z=x+(y+z)
(x
&
y)
&
z=x
&
(y
&
z)
Ассоциативный
12
x+y
&
z=(x+y)
&
(x+z) x
&
(y+z)=x
&
y+x
&
z
Дистрибутивный
Рассмотренные теоремы используются для
преобразования с целью упрощения различных ло-
гических функций. Рассмотренные тождества име-
ют иллюстрации в виде контактных схем. Для ряда
тождеств эти иллюстрации приведены на рис
3.11.
Из законов де Моргана вытекают следующие
важные следствия:
,;
21212121
xxxxxxxx ∧=∨∨=∧
с помощью которых появляется возможность выражать конъюнкцию
Таблица
3.24
x y x+xy x
0 0 0 0
0 1 0 0
1 0 1 1
1 1 1 1

Страницы