En Álgebra booleana, la forma normal algebraica (FNA) es una manera de expresar fórmulas lógicas en una de les siguientes tres subformas: La fórmula entera es puramente verdadera o falsa: 1 0 Una o más variables están unidas mediante conjunción lógica para formar un término. Uno o más términos están unidos mediante disyunción exclusiva en FNA. No se permiten negaciones lógicas: a ⊕ b ⊕ ab ⊕ abc puede escribir la expresión anterior con un término puramente verdadero adicional: 1 ⊕ a ⊕ b ⊕ ab ⊕ abcLas fórmulas escritas en FNA también se conocen como polinomios de Zhegalkin ((en ruso) полиномы Жегалкина) y como expresiones de Reed-Muller de polaridad (o paridad) positiva.