CONECTIVOS LOGICOS
- Conjunción ( y,^,and,*).
- Disyunción ( o,or,II,v,+).
- Implicación ( si… entonces, →).
- Bicondicional ( si y solo si, ↔).
TABLA DE VERDAD
De 2
p
|
q
|
¬p
|
¬q
|
p v q
|
p^q
|
p→q
|
p↔q
|
p XOR q
|
0
|
0
|
1
|
1
|
0
|
0
|
1
|
1
|
0
|
0
|
1
|
1
|
0
|
1
|
0
|
1
|
0
|
1
|
1
|
0
|
0
|
1
|
1
|
0
|
0
|
0
|
1
|
1
|
1
|
0
|
0
|
1
|
1
|
1
|
1
|
0
|
De 3
p
|
q
|
r
|
0
|
0
|
0
|
0
|
0
|
1
|
0
|
1
|
0
|
0
|
1
|
1
|
1
|
0
|
0
|
1
|
0
|
1
|
1
|
1
|
0
|
1
|
1
|
1
|
LABORATORIO 2
1.- ( a ^ b v ¬c)
2.- ¬(a ^ ¬a)
3.- ¬(a v b)
4.- (a↔b) v (a↔b)
5.- (a v b) →a
1.- ( a ^ b v ¬c)
a
|
b
|
c
|
(a ^ b)
|
¬c
|
( a ^ b) v ¬c
|
0
|
0
|
0
|
0
|
1
|
1
|
0
|
0
|
1
|
0
|
0
|
0
|
0
|
1
|
0
|
0
|
1
|
1
|
0
|
1
|
1
|
0
|
0
|
0
|
1
|
0
|
0
|
0
|
1
|
1
|
1
|
0
|
1
|
0
|
0
|
0
|
1
|
1
|
0
|
1
|
1
|
1
|
1
|
1
|
1
|
1
|
0
|
1
|
2.- ¬(a ^ ¬a)
a
|
¬a
|
(a^¬a)
|
¬(a ^ ¬a)
|
0
|
1
|
0
|
1
|
1
|
0
|
0
|
1
|
3.- ¬(a v b)
a
|
b
|
(a v b)
|
¬(a v b)
|
0
|
0
|
0
|
1
|
0
|
1
|
1
|
0
|
1
|
0
|
1
|
0
|
1
|
1
|
1
|
0
|
4.- (a↔b) v (a↔b)
a
|
b
|
(a↔b)
|
(a↔b)
|
(a↔b) v (a↔b)
|
0
|
0
|
1
|
1
|
1
|
0
|
1
|
0
|
0
|
0
|
1
|
0
|
0
|
0
|
0
|
1
|
1
|
1
|
1
|
1
|
5.- (a v b) →a
a
|
b
|
(a v b)
|
(a v b) →a
|
0
|
0
|
0
|
1
|
0
|
1
|
1
|
0
|
1
|
0
|
1
|
1
|
1
|
1
|
0
|
1
|