Page 96 - 4196

 XX  X
5)  - закони ідемпотентності;
 X  X  X
 YX  Y X
6)  - закони комутативності;
 X  Y  Y  X
  X Y  Z  X    ZY   X Y  Z
7)  - закони
   YX  Z  X    ZY   X  Y  Z
асоціативності;
 X   ZY    X Y    X  Z
8)  - закони
 X    ZY    X Y    X  Z
дистрибутивності;
  X  Y
 YX
9)  - закони де Моргана;
  YX  X  Y

10) X  X Y  X ;
11) X  X  Y  X  Y ;
12) X  Y  Z  Y  X  Y  Z  Y  X  Z ;
13) X I  I;
14) X  0  X;
15) X I  X ;
16) X 0  0 .
Наведені формули повинні розглядатися, як тавто-
логії. Їх справедливість можна перевірити обчисленням
значень істинності лівих і правих частин.

Логічний базис
1 Базисом  ,Ab , B C ,...  називають таблицю, в якій
подані усі можливі комбінації значень істинності сукуп-
ності елементів ,A B ,.... Приклади базисів:
1) для одного елемента A
0 1
# A  0 1;

96