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.