IMPLICACIONOPUESTA
CONECTIVOSBINARIOS
CONJUNCIONOPUESTA
NEGACIONLOGICA
BICONDICIONAL
TAUTOLOGIA
G
I
S
Y
E
O
G
C
M
K
P
N
S
G
R
K
Q
R
R
O
O
L
C
F
A
W
W
O
I
A
Z
U
O
F
E
L
G
X
I
A
G
U
O
N
T
I
Z
N
I
T
R
E
S
L
M
U
E
T
G
O
A
R
X
O
S
O
A
E
M
M
A
O
W
A
E
B
Q
A
M
S
Q
T
T
N
E
X
C
C
I
R
J
I
E
K
Z
I
Y
J
U
U
A
D
U
T
U
F
I
T
R
Q
E
C
M
U
U
C
I
Y
T
X
R
P
U
Z
P
R
G
I
J
E
Z
M
C
Q
J
O
X
U
Q
J
I
B
W
K
O
O
O
V
A
P
A
A
J
A
U
N
E
Q
W
O
L
J
M
Y
N
E
L
O
G
T
O
L
B
S
F
D
R
K
L
I
Y
W
J
B
O
E
N
S
K
H
U
I
B
E
L
I
D
U
J
A
Y
W
P
V
I
I
O
B
S
B
M
I
Q
I
K
C
F
N
O
O
I
O
V
U
C
O
I
I
D
G
D
Z
K
U
H
I
Q
T
Y
Y
O
E
A
X
A
U
C
N
L
C
M
M
R
U
Z
O
F
E
C
E
E
H
U
V
C
A
A
A
K
C
O
E
I
D
X
N
E
Z
I
Q
N
A
M
A
I
I
G
R
E
M
U
J
S
P
I
A
K
T
M
Z
E
O
I
S
L
C
E
I
K
E
S
L
X
I
K
L
W
E
T
B
S
S
R
X
P
C
N
O
L
U
G
E
E
J
A
G
O
D
A
Y
A
R
H
H
M
U
A
S
P
O
L
S
A
I
Y
Q
A
I
M
H
W
I
M
W
I
T
A
U
T
O
L
O
G
I
A
T
A
I
F
O
U
O
C
O
N
J
U
N
C
I
O
N
O
P
U
E
S
T
A
U
