Teorema fonamental de l'àlgebra de la lògica.
En qualsevol variable d'una placa base que conté la fórmula, els termes de la fórmula lògica a una altra en què tots d'una posició, l'equació encara manté. Això es diu en teoremes.
El fet que les variables 0 i 1 són dos estats possibles, així que no importa l'A = 0 o A = 1 en les equacions lògiques, l'equació és necessàriament cert. El tipus de valor és una lògica 0 i 1 no són més que dos tipus, de manera que reemplaça a la fórmula A, l'equació s'estableix naturalment. Per tant, es pot posar en teoremes sense proves com un axioma.
|