Page 28 - 4496

Продовження таблиці 1.1
1 2 6 7
Трив
f  a Повторення a 0 0 1 1 іальн
11
а
Трив
f  b Повторення b 0 1 0 1 іальн
12
а
Інверсія a
f 13  a (функція НЕ a) 1 1 0 0
Інверсія b
f 14  b (функція НЕ b) 1 0 1 0
Одинична Трив
f 15  1 функція 1 1 1 1 іальн
(конастанта 1) а
Нульова Трив
f 16  0 функція 0 0 0 0 іальн
(конастанта 0) а

2.4 Булевий простір

Упорядковану сукупність двійкових змінних x , x ,..., x ,
n
1
2
можна розглядати, як деякий змінний вектор (булевий вектор)
X  (x 1 , x 2 ,..., x n ) з компонентами x , кожна із яких набуває
i
значення 1 або 0. Множину всіх можливих наборів булевих
векторів X називають булевим простором.
Його позначають таким чином: M   X .
Сукупність вектора X, при яких функція набуває
1
значення 1, позначимо через M , а сукупність X, при яких f = 0
0
позначимо через M .
0
1
Очевидно, що M = M + M .
2.5 Поняття формули в алгебрі логіки
Як і в елементарній алгебрі, в алгебрі логіки, виходячи із
елементарних функцій, можна будувати формули.
При утворенні формул використовуються знаки
(символи) трьох категорій.

25