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
- znakovi za varijable algebre sudova su formule,
- 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,
- svaka formula može se dobiti konačnim brojem primjena prethodnih pravila.