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