TALLER

1.

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

q

-p

-q

1
1
0
0

1
0
1
0

0
0
1
1

0
1
0
1

1
2
-p v -q 1 v -q
0
1
1
1

0
1
1
1

3
˜2
1
0
0
0

4

q
1
0
0
0

5
3↔4
1
1
1
1

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

q

¬p

¬q

1
1
0
0

1
0
1
0

0
0
1
1

0
1
0
1

2
¬pvq
1
0
1
1

3
¬qv¬p
0
1
1
1

4
2 v3
1
1
1
1

5
4↔1
1
1
1
1

4
p v ¬p
1
1
1
1

5
4^3
1
1
0
0

6
5↔p
1
1
1
1

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

q

¬p

1
1
0
0

1
0
1
0

0
0
1
1

2
qvp
1
1
1
0

3
p^2
1
1
0
0

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

p q 1 1 0 0 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 e. { [ ( p → q ) ↔ ¬ q ] ^ ¬ q } ↔ ¬ ( p v q ) p q ¬q 1 1 0 0 1 0 1 0 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 9 8↔q 1 1 1 1 .

Sign up to vote on this title
UsefulNot useful