LEYES LÓGICAS 1) Leyes de absorción

pqpp

pqpp

2) Idempotencia p pp ppp 3) Asociativas (p q) r p (q r) p q r (pq) r p (q r) pq r (p↔q) ↔ rp ↔ (q↔r) p↔q↔r 4) Leyes Conmutativas pqqp p qq p p↔qq↔p 5) Distributivas p (q r) (pq) (p r) p (p r) (p q) (p r) p→ (q r) (p→q) (p→r) p→ (q r) (p→q) (p→r) 6) De Morgan

q~p~qp~

q~p~qp~

7) De Complementación: p~p │F

p~p V/

8) Otras leyes: ~~pp p→q~pq↑ p↔q (p→q) (q→p)

pv q (pq) ~ (pq)

p↓q~p~q p↑q~p~q

~(p↔q) pv q

9) De Identidad: pV/p pV/V/ p│F│F p│F p

Leyes del Álgebra de conjuntos

Estas leyes constituyen las siguientes igualdades notables entre conjuntos.

1) Leyes de Idempotencia 2) Leyes Conmutativas AAA ABBA

AAA ABBA

3) Leyes Asociativas 4) Leyes Distributivas

CBACBA CABACBA

CBACBA CABACBA

5) Leyes de Complemento: 6) Ley Involutiva

UAA ' AA ''

'AA

'U

U'

7) Leyes de Morgan 8) Ley de Identidad

''' BABA UUA

''' BABA AUA

AA

A

9) Leyes de Absorción 10) Otras Leyes

ABAA 'BABA

ABAA