P. 1
Tabla de Verdad

Tabla de Verdad

|Views: 8|Likes:
Publicado porFabian Ayala Vega

More info:

Published by: Fabian Ayala Vega on Sep 13, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

09/13/2013

pdf

text

original

TALLER

1.
2.
a. ¬ { [ ( ¬ p ) v ( ¬ q ) ] v ¬ q } ↔ p ^ q








b. [ ¬ p v q ] v [ ¬ q v ¬ p] ↔ 1

p q ¬p ¬q 2 3 4 5
¬ p v q ¬ q v ¬ p 2 v3 4↔1
1 1 0 0 1 0 1 1
1 0 0 1 0 1 1 1
0 1 1 0 1 1 1 1
0 0 1 1 1 1 1 1



c. (p v ¬ p ) ^ [ p ^ ( q v p)] ↔ p

p q ¬p 2 3 4 5 6
q v p p^2 p v ¬p 4^3 5↔p
1 1 0 1 1 1 1 1
1 0 0 1 1 1 1 1
0 1 1 1 0 1 0 1
0 0 1 0 0 1 0 1



d. [¬ ( p → q ) → ¬ ( q → p ) ^ ( p v q ) ] ↔ q

p q -p -q 1 2 3 4 5
-p v -q 1 v -q ˜2 p Λ
q
3↔4
1 1 0 0 0 0 1 1 1
1 0 0 1 1 1 0 0 1
0 1 1 0 1 1 0 0 1
0 0 1 1 1 1 0 0 1
p q 2 3 4 5 6 7 8 9
p→q ˜2 q→p ˜4 3→5 p vq 6^7 8↔q
1 1 1 0 1 0 1 1 1 1
1 0 0 1 1 0 0 1 0 1
0 1 1 0 0 1 1 1 1 1
0 0 1 0 1 0 1 0 0 1



e. { [ ( p → q ) ↔ ¬ q ] ^ ¬ q } ↔ ¬ ( p v q )

p q ¬ q 2 3 4 5 6 7
p → q 2↔¬q 3^ ¬q p v q ¬5 4↔6
1 1 0 1 0 0 1 0 1
1 0 1 0 0 0 1 0 1
0 1 0 1 0 0 1 0 1
0 0 1 1 1 1 0 1 1

{ [ ( p → q ) ↔ ¬ q ] ^ ¬ q } ↔ ¬ ( p v q ) p 1 1 0 0 q 1 0 1 0 ¬q 0 1 0 1 2 p→q 1 0 1 1 3 2↔¬q 0 0 0 1 4 3^ ¬q 0 0 0 1 5 pvq 1 1 1 0 6 ¬5 0 0 0 1 7 4↔6 1 1 1 1 .p 1 1 0 0 q 1 0 1 0 2 p→q 1 0 1 1 3 ˜2 0 1 0 0 4 q→p 1 1 0 1 5 ˜4 0 0 1 0 6 3→5 1 0 1 1 7 p vq 1 1 1 0 8 6^7 1 0 1 0 9 8↔q 1 1 1 1 e.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->