Taller de conjuntos y tablas de verdad

Integrantes:
Luisa Fonseca
Angélica Pedraza

1. [ ~ (q ↔ ~ p) ^ ( ~ q v p ) ] → [ ~ p ↔ ~ q ]

P q ~p ~q ~(q↔~p) ^ (~q v p) → ~p↔~q

V V F F F F V V1 V
V F F V V V V F2 F
F V V F V F F V3 F
F F V V F F V V4 V

A B U

2 1 3

(A – B)’
2. [ ( A’ ∩ B ) – ( B Δ A ) ] U [ A´- B´]

[(~p ^ q) →(q ↔ p )] v (~p → ~q)

F F V V V V V V1 F V F
F F F V F F V V2 F V V
V V V F V F F F3 V F F
V F F V F V F V4 V V V
 U
A B

2 1
3

3. [ ~ ( ~ p → r ) ^ ~ ( ~ r ^ q ) ] → p

p q r ~p ~r (~ p → r) (~r^q) ~(~p→r)^~(~r^q) 1. [ ~ ( ~ p → r ) ^ ~ ( ~ r ^ q ) ]
→p

V V V F F V F F1 V
V V F F V V V V2 V
V F V F F V F F3 V
V F F F V V F F4 V
F V V V F V F F5 V
F V F V V F V F6 V
F F V V F V F F7 V
f F F v V f f F8 V

U
A
B
1
2
3

7
5 6