Profesor: Alfonso C.

Huamani Ortiz
1. p ˄p≡ p
2. Conmutativa p ˄q≡ q ˄p
3. Asociativa p ˄(q ˄r) ≡ (p ˄q)˄
r
4. p ˄V ≡ p
5. p ˄F ≡ F
6. p ˄~p ≡ F
 LEYES DISTRIBUTIVAS

1. p v (q ˄r) ≡ (p v q) ˄(p v r)2.

P ˄(q v r) ≡ (p ˄q) v (p ˄r)
➢ Leyes p a r a la c o n d i c i o n a l ➢ Leyes p a r a la b i c o n d i c i o na l

1. p ↔ q ≡ (p → q) ˄(q → p)
2. p ↔ q ≡ (p ˄q)˅[(~ p)˄(~q)]

➢ Leyes p a r a la d i syunción
e x c l u s i va

1. p Δ q ≡ (p v q) ˄~(q Ʌ p) 2.
p Δ q ≡ (p ˄~q) ˅(~p ˄q)
1. ~ (~ p) ≡ p
1. p ˄(p v q) ≡ p
2. p v (p ˄q) ≡ p
 Demostrar : ley de
~(p ˄q) ≡ (~ p v ~Morgan
q)
Solucion:

p q ~( p ꓥ ↔ (~p v ~q)
q)
V V F V F F F
V F v V V F V V
F V V V F
F V V F V V V V
F F V F

~(p ˄q) ≡ (~ p v ~ q)
Demostrar : La Ley de c o n d i c i o n a l

Solución :