Formula booleana

Formula booleană (numită după George Boole ) este o formulă logică propozițională . Poate conține variabile logice și conjunctive propoziționale - conjuncție (" "), disjuncție (" "), negație (" ") și altele. $\pană$ $\vee$ $\neg$

O formulă se numește identic adevărată ( falsă ) dacă este adevărată (falsă) pentru orice valoare a variabilelor. Se spune că două formule booleene sunt echivalente dacă și numai dacă sunt adevărate în același subset al setului de valori ale argumentului.

O formulă booleană în n variabile definește o funcție booleană , unde $E^{n}\la E$

E=\{0;1\}

este setul de valori pentru fiecare variabilă ,

x_{i}

o valoare de 0 corespunde cu fals, iar o valoare de 1 corespunde cu adevărat.

x_{i}

x_{i}

Există un total de funcții booleene, deci există tot atâtea clase de formule booleene echivalente. $2^{{2^{n}}}$