Rječnik pojmova

Inačica za ispis

jeste li znali

Pregled rječnika korištenjem ovog indeksa

Posebno | A | B | C | Č | Ć | D | Dž | Đ | E | F | G | H | I | J | K | L | Lj | M | N | Nj | O | P | Q | R | S | Š | T | U | V | W | X | Y | Z | Ž | SVE

F

Formula algebre sudova

Formula algebre sudova je svaki niz znakova varijabli algebre sudova, konstanti algebre sudova (0,1) i operacija algebre sudova pri čijem formiranju su ispunjena sljedeća pravila
  1. znakovi za varijable algebre sudova su formule,
  2. ako su x i y formule tada su formule i ne x, ne y, x i y, x ili y, x implicira y, y implicira x, x je ekvivalentno y,
  3. svaka formula može se dobiti konačnim brojem primjena prethodnih pravila.

Funkcija

Relacija Funkcijaje funkcija ako vrijedi

elementitako da element funkcije

i ne postoje dva različita para u relaciji f s istom prvom komponentom.

Funkcija algebre sudova

Funkcija algebre sudova je pridruživanje koje svakom članu domene (konstantama algebre sudova (0i1) i sudovima) pridruži vrijednost  0 ili 1.