Please enable JavaScript.
Coggle requires JavaScript to display documents.
Leyes de Logica (Leyes Conmutativas (P^Q≡Q^P (Ejemplo (r^(~t^s)≡r^(s^~t)))…
Leyes de Logica
Leyes Conmutativas
P^Q≡Q^P
Ejemplo
r^(~t^s)≡r^(s^~t)
P↔Q≡Q↔P
PvQ≡QvP
Leyes Asociativas
• p→ (qvr)=(p →q) v (p→r)
• p→ (q^r)=(p →q) ^(p→r)
• pv(q^r)=(pvq) ^ (pvr)
• p^(qvr)=(p^q) v(p^r)
Ejemplo
Pv[(RvS)^(TvQ)]≡[Pv(RvS)]^[Pv(TvQ)]
Leyes Distributivas
• p^(q^r)=(p^q) ^r
Ejemplo
r^(~t^s)≡(r^~t)^s
• p↔(q↔r)=(p ↔q)↔p
• pv(qvr)=( pvq)vr
Ariel Campos 1A