Algebraicamente, el conjunto {verdadero, falso}, o función lógica, forma un álgebra booleana simple (subdirectamente irreducible).