LÓGICAMATEMÁTICA
LÓGICAPROPOSICIONAL
LÓGICADEPREDICADOS
ALGEBRADECLARATIVA
INDUCCIÓNMATEMÁTICA
ALGEBRABOOLEANA
TEOREMASYPOSTULADOS
EXPRESIONESBOOLEANAS
APLICACIÓN
CIRCUITOSLÓGICOS
I
E
B
C
A
G
C
C
B
K
Z
U
J
I
W
I
N
W
O
I
L
T
X
X
I
I
E
L
A
H
A
G
P
P
U
P
J
R
S
X
N
Ó
A
E
G
P
E
R
N
E
U
H
H
D
O
U
O
I
O
F
A
D
G
P
J
O
A
R
D
C
Z
U
A
C
A
P
O
Q
D
X
P
E
U
I
L
V
E
R
H
E
A
U
N
D
Z
U
E
K
A
U
I
V
J
C
C
I
M
G
E
E
U
S
T
I
M
G
J
G
C
Y
X
M
M
G
C
A
C
X
J
I
W
M
O
I
E
T
A
H
I
K
I
J
I
Z
G
I
M
A
D
U
M
A
E
A
P
O
F
O
D
N
O
O
W
X
B
W
Ó
A
C
O
A
R
E
Y
G
S
Q
N
E
S
M
O
Z
U
Y
Y
P
N
T
I
C
K
D
J
E
D
Q
Y
R
E
X
L
A
I
E
L
V
O
M
E
Ó
C
B
J
D
E
L
Q
P
P
J
S
I
Ó
P
Q
Z
T
A
A
M
N
O
H
B
I
E
E
E
I
Z
O
Y
B
V
G
Y
A
B
E
T
Á
U
D
U
U
U
A
D
C
U
E
M
S
C
O
A
I
B
U
B
E
T
A
I
I
E
M
A
E
D
A
B
D
B
T
B
O
E
C
R
D
M
I
R
V
A
I
C
H
P
Z
C
A
D
I
O
U
W
L
F
O
E
Á
C
Q
C
Z
I
C
E
L
K
Q
O
G
R
O
N
L
J
E
Y
S
T
A
A
L
G
E
B
R
A
B
O
O
L
E
A
N
A
A
M
A
Z
I
O
N
Ó
A
E
G
I
Z
I
O
C
U
T
T
L
C
G
D
D
N
C
U
L
O
M
O
E
Z
M
T
T
W
L
K
Y
Z
Z
N
U
O
A
A
E
A
L
G
E
B
R
A
D
E
C
L
A
R
A
T
I
V
A
S
I
S
U
I
L
Ó
G
I
C
A
P
R
O
P
O
S
I
C
I
O
N
A
L
