LEYES LÓGICAS

IDEMPOTENCIA p˅p≡p p˄p≡p

ASOCIATIVA (p ˅ q) ˅ r ≡ p ˅ (q ˅ r) (p ˄ q) ˄ r ≡ p ˄ (q ˄ r)

CONMUTATIVA p˅q ≡ q˅p p˄q ≡ q˄p

DISTRIBUTIVA p ˅ (q ˄ r) ≡ (p ˅ q) ˄ (p ˅ r) p ˄ (q ˅ r) ≡ (p ˄ q) ˅ (p ˄ r)

IDENTIDAD p˅F≡p p˅V≡V p˄F≡F p˄V≡p

COMPLEMENTO p ˅ ~p ≡ V ~p ˅ p ≡ V p ˄ ~p ≡ F ~p ˄ p ≡ F

DE MORGAN ~ (p ˅ q) ≡ ~p ˄ ~q ~ (p ˄ q) ≡ ~p ˅ ~q

CONDICIONAL p → q ≡ ~p ˅ q ~ (p → q) ≡ p ˄ ~q

BICONDICIONAL p ↔ q ≡ (p → q) ˄ (q → p) p ↔ q ≡ (p ˄ q) ˅ (~p ˄ ~q)

ABSORCIÓN p ˄ (p ˅ q) ≡ p p ˄ (~p ˅ q) ≡ p ˄ q

p ˅ (p ˄ q) ≡ p p ˅ (~p ˄ q) ≡ p ˅ q

Nombre: ……………………………………………………………………………………….