1. Teoremas:
1- A+A=A
2- A·A=A
3- A·A'=0
4- A+1=1
5- A+A·B=A
6- A+A'·B= A+B
7- A·(A+B)= A
8- A·(A'+B)= A·B
9- A'·(A+B)= A'·B'
10- (A'+B')·(A'+B)= A'
Teoremas de Morgan:
1- (A+B)'=A'·B'
2- (A·B)'= A'+B'
Exemples:
1-S=(ac'+c)(a+c)'·(bc+a+a')= (a+c)·(a'·c')·1=(a+c)·(a'·c')= a·a'·c+c·a'·c'= 0·c+0·a'=0
2-S= (a'·c'+(b+c'))'·d'= ((a'·c')'·(b+c')')d'= ((a+c)·(b'·c))·d'= (a·b'+c·b'+a·c+c·c)=
(a·b'+C(b'+a+1))·d'= (a·b'+c)·d'
Mapes de Karnaug:
A
B
S
0
0
1
0
1
1
1
0
0
1
1
0
f(s)= A'
A
B
C
S
0
0
0
1
0
0
1
1
0
1
0
1
0
1
1
1
1
0
0
1
1
0
1
1
1
1
0
0
1
1
1
0
f(s)= A'+B'

2. A B
C D
S
0
0
0
0
1
0
0
0
1
1
0
0
1
0
1
0
0
1
1
1
0
1
0
0
1
0
1
0
1
1
0
1
1
0
1
0
1
1
1
1
1
0
0
0
1
1
0
0
1
1
1
0
1
0
1
1
0
1
1
1
1
1
0
0
0
1
1
0
1
0
1
1
1
0
1
1
1
1
1
1
f(s)= A'+B'+C

3. Exercicis PAU
S1 S2 C
Sf
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
1
1
0
0
1
1
0
1
1
1
1
0
1
1
1
1
1
f(sf)= S1+S2+C

4. per x=0
f(c)= ts'·tj·m + ts·tj'·m'
per x=0
f(c)= tj·m + ts· m'

5. f(d)= c'·v'·t + c·v'·t' + c·v'·t + c·v·t' + c·v·t
f(d)= c+v·t'