17) P ↔ q v r
p | q | P↔q | r | P↔qvr |
0 | 0 | 1 | 0 | 1 |
0 | 0 | 1 | 1 | 1 |
0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 |
1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 1 |
1 | 1 | 1 | 0 | 1 |
1 | 1 | 1 | 1 | 1 |
18) [(¬pvq) v (p˄q)]à[(¬pvq)v¬p)]
p | q | ¬p | (¬pvq) | (p˄q) | (¬pvq)v(p˄q) | (¬pvq)v¬p | [(¬pvq) v (p˄q)]à[(¬pvq)v¬p)] |
0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 |
0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
19) (pv¬q)à(¬pà¬q)
p | q | ¬p | ¬q | (pv¬q) | (¬pà¬q) | (pv¬q)à(¬pà¬q) |
0 | 0 | 1 | 1 | 1 | 1 | 1 |
0 | 1 | 1 | 0 | 0 | 0 | 1 |
1 | 0 | 0 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 0 | 1 | 1 | 1 |
20) (p↔¬q) v (pv¬q)
P | q | ¬q | (p↔¬q) | (pv¬q) | (p↔¬q)v(pv¬q) |
0 | 0 | 1 | 0 | 1 | 1 |
0 | 1 | 0 | 1 | 0 | 1 |
1 | 0 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 0 | 1 | 1 |
21) (¬p˄q)v(¬pàq)
p | q | ¬p | (¬p˄q) | (¬pàq) | (¬p˄q)v(¬pàq) |
0 | 0 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 1 | 1 |
1 | 1 | 0 | 0 | 1 | 1 |
No hay comentarios:
Publicar un comentario