5
Forme canonique d’une fonction
Booléenne
• 1ere FC ou forme systématique de Lagrange
– 1ere forme Th. de Shannon:∀i,
f(x1,…, xn) =xi f(x1,…xi-1,0,xi+1,…, xn) +
xi f(x1,…xi-1,1,xi+1,…, xn)
– Appliqué itérativement n fois :
f(x1,…, xn) = (xi ou xi)
• Exemple: f(A,B)=A f(0,B) +A f (1,B)
– f(A,B)=A [ f(0,0)B+ f (0,1) B] + A [ f(1,0)B+ f (1,1) B]
– f(AB)= f(0,0)AB + f(0,1)AB+ f(1,0)AB + f(1,1)AB
∑∏
n
2n
Forme canonique d’une fonction
Booléenne
• 2eme FC ou seconde forme systématique de Lagrange
– 2eme forme Th. de Shannon:∀i,
f(x1,…, xn) = [xi +f(x
1,…xi-1,1,xi+1,…, xn)] .
[xi +f(x
1,…xi-1,0,xi+1,…, xn)]
– Appliqué itérativement n fois :
f(x1,…, xn) = (xi ou xi)
• Exemple: f(A,B)=[A + f(1,B)] . [ A + f (0,B)]
f(A,B)={A + [B + f(1,1) ].[ B+ f (1,0)]} . [A +…]
f(AB)=[f(1,1)+A+B].[f(1,0)+A+B].[f(0,1)+A+B].[f(0,0)+A+B]
par distributivité x+yz = (x+y)(x+z)
∑
∏