Tarea 3 Tabla de verdad para conectivas binarias

f1
f2
f3
f5
f7
f8

Es una tautologia
Es la disyuncion de p y q (pvq)
Es la Implicacion conversa de p y q (p←q)
es la implicacionmaterial o condicional de p y q (p→q)
es la coinplicacion o equivalencia material de p y q (p↔p)
Es la conjuncion de p y q (p^q)
Es la funcionSheffer o barra de sheffer de p y q (p/q), que se lee 'p es compatible con q'.
Tambien se le denomina funcion Nand (no conjucion), yaque equivale a la negacion de la
conjuncion (¬(p→q)).
Es la disyuncion exclusiva (no equivalencia) de p y q (p q)
Es la negacion de laimplicación de p y q (¬(p→q)).
Es la negación de la implicación conversa de p y q (¬(p←q)).

f9
f10
f12
f14
f15

Es la funcion Peirce oBarra Peirce de p y q (¬(p↓q), que se lee 'ni p ni q'. Tambien se le
denomina funcion Nor (No disyuncion), ya que equivale a la negacionde la disyuncion (¬(pvq))

f16

Es una Contradicion.

¬
F
V
V
V
¬
F
F
F
V

p
V
V
F
F

f2
v
V
V
V
F

p
V
V
F
F

f9
^
V
F
F
F

q
V
F
V
Fp
V
V
F
F

v
V
V
V
F

q
V
F
V
F

q
V
F
V
F

p
V
V
F
F

f3
←
V
V
F
V

q
V
F
V
F

p
V
V
F
F

f5
→
V
F
V
V

q
V
F
V
F

p
V
V
F
F

f12
→
V
FV
V

f10
p
V
V
F
F

F
V
V
F

q
V
F
V
F

F
F
V
F

p
V
V
F
F

←
V
V
F
V

¬

¬
F
V
F
F
q
V
F
V
F

f7
p ↔ q
V V V
V V F
F F V
F V F

q
V
FV
F

¬
F
V
F
F

p
V
V
F
F

p
V
V
F
F
f12
→
V
F
V
V

q
V
F
V
F

f8
^
V
F
F
F

q
V
F
V
F

¬
F
F
V
F

p
V
V
F
F

f14
←
V
V
F
V

q
V
F
V
F