Boolesk formel

Boolesk formel (uppkallad efter George Boole ) är en propositionell logikformel . Det kan innehålla logiska variabler och propositionella bindemedel — konjunktion (" "), disjunktion (" "), negation (" "") och andra. $\kil$ $\vee$ $\neg$

En formel kallas identiskt sann ( falsk ) om den är sann (falsk) för alla värden på variablerna. Två booleska formler sägs vara ekvivalenta om och endast om de är sanna på samma delmängd av uppsättningen argumentvärden.

En boolesk formel i n variabler definierar en boolesk funktion , där $E^{n}\to E$

E=\{0;1\}

är uppsättningen värden för varje variabel ,

x_{i}

ett värde på 0 motsvarar falskt och ett värde på 1 motsvarar sant.

x_{i}

x_{i}

Det finns totalt booleska funktioner, så det finns lika många klasser av motsvarande booleska formler. $2^{{2^{n}}}$