Pojednostavljivanje logičkog

izraza
 Popunimo tablicu istinitosti
• 1…..oznaka za istinu, sud koji je uvijek istinit
• 0…..oznaka za laž ili za sud koji je stalno lažan
A 1 0 Ā A A·1 A+1 A·0 A+0 A· Ā A+Ā

0 1 0 1 0 0 1 0 0 0 1
1 1 0 0 1 1 1 0 1 0 1
 Vidimo da vrijedi

1. A·0 = 0 A+0 = A
2. A·A = A A+A = A
3. A·1 = A A+1 = 1
4. A·A = 0 A+A = 1
• Ta pravila nazivamo teoremi booleove algebre
• Možemo ih koristiti da pojednostavimo logički
izraz (formulu)
• Pojednostavljeni izraz i polazni izraz imaju isti
zadnji stupac u tablici istinitosti
Pojednostavimo
1 1 1 1 0 1 0 1
1 0 0 1 0 1 1 0
0 1 0 1 0 1 1 0
0 0 0 0 1 0 1 0
Ostali teoremi Booleove algebre:

A·B = A + B A+B = A · B - De Morganovo pravilo

A·B = B·A A+B = B+A - Komutacija
A· (B+C) = A·B + A·C A+B·C = (A+B) · (A+C) - Distribucija

1. A·0 = 0 A+0 = A
2. A·A = A A+A = A
3. A·1 = A A+1 = 1
4. A·A = 0 A+A = 1
Teoremi booleove algebre:
  
A  B  A  B  A  B  A  B   A A  AB  B A  BB  A  1  B  B   A
 
A  B  A  B  A  B  A  B   A B A B  A A B  0

 
A  C  B  AC  B  A  C  B  AB  BC  B A  C  