Boolesk formel

Den boolske formel (opkaldt efter George Boole ) er en propositionel logisk formel . Det kan indeholde logiske variabler og propositionelle sammenhænge - konjunktion (" "), disjunktion (" "), negation (" "") og andre. $\kile$ $\vee$ $\neg$

En formel kaldes identisk sand ( false ), hvis den er sand (falsk) for alle værdier af variablerne. To boolske formler siges at være ækvivalente , hvis og kun hvis de er sande på den samme delmængde af sættet af argumentværdier.

En boolsk formel i n variable definerer en boolsk funktion , hvor $E^{n}\to E$

E=\{0;1\}

er værdisættet for hver variabel ,

x_{i}

en værdi på 0 svarer til falsk, og en værdi på 1 svarer til sand.

x_{i}

x_{i}

Der er i alt boolske funktioner, så der er lige så mange klasser af tilsvarende boolske formler. $2^{{2^{n}}}$