Equivalencia Nombre Equivalencias logicas

p^V≡p p → q ≡ -p v q
L. de Identidad
pvF≡p
pvV≡V p → q ≡ -q → -p
L. de Dominación
p^F≡F
pvp≡p p v q ≡ -p → q
L. Idempotentes
p^p≡p
-(-p) ≡ p L. de la doble negación p ^ q ≡ -(p → -q)
pvq≡qvp
L. Conmutativas -(p → q) ≡ p ^ -q
p^q≡q^p
(p v q) v r ≡ p v (q v r)
L. Asociativas (p → q) ^ (p → r) ≡ p →(q ^ r)
(p ^ q) ^ r ≡ p ^ (q ^ r)
p v (q ^ r) ≡ (p v q) ^ (p v r) (p → r)^(q → r) ≡ (p v q) → r
p ^ (q v r) ≡ (p ^ q) v (p ^ L. Distributivas
r) (p → q)v(p → r) ≡ p →(q v r)
-(p ^ q) ≡ -p v -q
L. de De Morgan
-(p v q) ≡ -p ^ -q (p → r) v (q → r) ≡ (p ^ q) → r
p v (p ^ q) ≡ p
L. de Absorción
p ^ (p v q) ≡ p P ↔ q ≡ (p → q) ^ (q → p)

p ↔ q ≡ -p ↔ -q
p v -p ≡ V
L. de negación o inversas
p ^ -p ≡ F p ↔ q ≡ (p ^ q) v (-p ^-q)

-(p ↔ q) ≡ p ↔ -q

Regla de Inferencia Tautología Nombre

p
p→( p ⋁ q) Adición
∴ p⋁ q
p∧q
∴p ( p ⋀ q )→ p
Simplificación
p∧q ( p ⋀ q )→ q
∴q
p
q [ ( p) ⋀ (q)] → ( p ⋀ q ) Conjunción o Ley de combinación
∴ p⋀ q
p →q
p [( p → q)⋀ p ] →q Modus Ponens
∴q
p →q
−q [( p → q)⋀−q ] →− p Modus Tollens
∴− p
p →q
q→r [ ( p →q ) ⋀( q →r )] →(p → r ) Silogismo Hipotético
∴ p →r
p⋁q
−p
[( p ⋁ q)⋀− p ] → q
∴q
Silogismo Disyuntivo
p⋁q
−q [( p ⋁ q)⋀−q ] → p
∴p
p⋁q
−p ⋁ r [( p ⋁ q) ⋀(−p ⋁ r ) ] →( q ⋁ r ) Ley de Resolución
∴q ⋁ r
 p →q
r →s
pV r Dilemma Constructivo
∴q V r

Leyes Booleanas Tablas de Verdad

p -p
Elementos A+1=1
NEGACION V F
Nulo A•0=0 F V
p q p∧q
V V V
A•1=A CONJUNCION
Identidad V F F
A+0=A F V F
F F F
p q p∨q
V V V
------------------

DISJUNCION INCLUSIVA
Complemento A+A=1 -----------------
V F V
A•A=0 F V V
F F F
p q p⨁q
V V F
A+A=A
Idempotencia DISYUNCIÓN EXCLUSIVA V F V
A•A=A F V V
F F F
p q p→q
V V V
------
------ IMPLICACIONES
Involutiva A=A V F F
F V V
F F V
p q p↔q
V V V
A+B=B+A BICONDICIONAL
Conmutativas V F F
A•B=B•A F V F
F F V
p q -p -q p→q q→p -p→-q -q→-p
RECÍPROCA
V V F F V V V V
A + (B + C) = (A + B) + C CONTRARRECÍPROCA
Asociativas V F F V F V V F
A • (B • C) = (A • B) • C INVERSA F V V F V F F V
F F V V V V V V
A + B • C = (A + B) • (A + C)
Distributivas
A • (B + C) = A • B + A • C
A+A•B=A
Absorción
A • (A + B) = A
--------------------------------------- ------------ ---- -------

De Morgan A+B=A•B
--------------------------------- ------------- --------------

A•B=A+B