Neka su i dva različita znaka. Uređena šestorka naziva se iskazna algebra ako su binarne operacije skupa date tablicama
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
| |
a unarna operaciaj data sledećom tablicom
|
|
|
|
|
|
| |
Prioritet operacija odgovara prioritetu logičkih veznika u iskaznim formulama.
Svako preslikavanje naziva se n-arna operacija iskazne algebre.
Pored navedenih operacija, u iskaznoj algebri često se koriste i sledeće dve:
- Šeferova
- Lukasijevičeva
Odnos iskaznih formula i iskazne algebre
uredi
Iskazne formule interpretiramo u iskaznoj algebri.
Valuacija je preslikavanje koje iskaznim slovima dodeljuje vrednosti iz skupa .
Vrednost iskazne formule A u valuaciji , u oznaci definisana je na sledeći način:
-
-
-
-
-
-
Znači, iskaznoj formuli dodeljujemo funkciju
-
za koju važi , gde je valuacija za koju važi .