🚀 go-pugleaf

Niech  V  będzie zbiorem wszystkich zmiennych.
Widzieliśmy, że  V  składa się z 26 serii
nieskończonych. Zbiór V jest przeliczalny.

Przez pełną kostkę logiczną będziemy
rozumieli potęgę kartezjańską:

        LC  :=  {0 1}^V

(LC - Logical Cube). Można myśleć o elementach
kostki logicznej jako o podstawieniach 0 lub 1 za
zmienne.

Funkcja logiczna jest to z definicji dowolna funkcja

    F : LC --> {0 1}

która istotnie zależy tylko od pewnego
skończonego zbioru zmiennych  A (zależnego
od  F) - znaczy to, że istnieje funkcja:

    f : {0 1}^A --> {0 1}

taka, że  dla dowolnego  u : V --> {0 1}
zachodzi równość:

    F(u)  =  f(u|A)

Wystarczy więc znać wartości  u  w zakresie
zbioru zmiennych  A,  żeby znać wartość  F(u)
 - nie ma potrzeby znać całego  u.

Oczywiście, jeżeli  A  jest zawarte w zbiorze B,
zawartym w zbiorze V, oraz  F zależy istotnie
tylko od zmiennych ze zbioru  A,  to  F  zależy
istotnie także tylko od zbioru  B. Sztuką jest
znadywać jak najmniejsze zbiory zależności,
bo wtedy większe są takimi już automatycznie.

Pozdrawiam,

    Wlodek