Forma normal algébrica

Forma normal algébrica (FNA), também conhecida como Polinômio de Zhegalkin ou Expressão de Reed-Muller, na lógica booleana, é vista como um método de padronização e normalização de fórmulas lógicas. Uma FNA pode ser escrita genericamente da seguinte forma:

$f(x_{1},x_{2},\ldots ,x_{n})=\!$	$a_{0}+\!$
	$a_{1}x_{1}+a_{2}x_{2}+\ldots +a_{n}x_{n}+\!$
	$a_{1,2}x_{1}x_{2}+a_{n-1,n}x_{n-1}x_{n}+\!$
	$\ldots +\!$
	$a_{1,2,\ldots ,n}x_{1}x_{2}\ldots x_{n}\!$

onde $a_{0},a_{1},\ldots ,a_{1,2,\ldots ,n}\in \{0,1\}^{*}$.

Ver também

• Álgebra booleana
• Forma normal conjuntiva
• Forma normal disjuntiva
• Grafo lógico
• Registrador de deslocamento
• Fórmula lógica

Bibliografia

• Steinbach, Bernd; Posthoff, Christian (2009). «Preface». Logic Functions and Equations - Examples and Exercises (1st ed.). Friburgo: Springer Science + Business Media B. V. ISBN 978-1-4020-9594-8