Булева алгебра
|
x1 |
x2 |
|
|
x1&x2 |
|
|
x1 |
|
|
|
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
|
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
|
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
|
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
Из данной таблицы видно, что столбцы 6 и 7 равны, что подтверждает спра-ведливость закона 8а). Равенство столбцов 9 и 10 подтверждает справедливость закона 8 в).
Справедливость закона 4а) x 
xy = x и 4b) x (
x y ) = x,
можно доказать следующим образом:
x xy = x1 xy =
x ( 1y ) =
x1 = x;