Algunas tautologías reciben nombres especiales, por ser de uso muy frecuente.

Daremos a continuación una lista de las Leyes Lógicas Proposicionales:

Nombre Forma proposicional

Identidad p⇒q p⟺q

Absorción p ∧ (q ∨ p) ≡ p p ∨ (q ∧ p) ≡ p

Elemento Complementario (No contradicción) p ∧ ~p ≡ F p ∨ ~p ≡ V

Elemento Neutro p∧V≡p p∨F≡p

Doble negación ~ (~p) ≡ p

Modus Ponens “Modo que afirma afirma” (p ⇒ q) ∧ p ≡ q

Modus Tollens “Modo que negando niega” (p ⇒ q) ∧ ~q ≡ ~p

p ⇒ q ≡ ∼(p ⇒ q)
Transposición
p ⟺ q ≡ ∼(p ⟺ q)
A
Conjunción B
A∧B

De la conjunción p∧q ≡ q∧p

De la disyunción p∨q ≡ q∨p

Conmutatividad
Del bicondicional p⟺q ≡ q⟺p

De la conjunción (p ∧ q) ∧ r ≡ q ∧ (p ∧ r)

De la disyunción (p ∨ q) ∨ r ≡ q ∨ (p ∨ r)
Asociatividad
Del bicondicional (p ∧ q) ⟺ r ≡ q ⟺ (p ∧ q)

Conjunción respecto disyunción. p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

Disyunción respecto conjunción p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)

Distributividad
Condicional respecto conjunción p ⇒ (q ∧ r) ≡ (p ⇒ q) ∧ (p ⇒ r)

Condicional respecto disyunción p ⇒ (q ∨ r) ≡ (p ⇒ q) ∨ (p ⇒ r)

p∧q p∧q
Simplificación
p q
p
Adición
p∨q
Conjunción a disyunción ~ (p ∧ q) ≡ ~p ∨ ~q
De Morgan
Disyunción a conjunción ~ (p ∨ q) ≡ ~p ∧ ~q
(p → q) ∧ (q → r)
Silogismo Hipotético o Transitividad
p→r
p∨q p∨p
Silogismo Disyuntivo ∼q ∼p
p q
(𝑝𝑝→𝑞𝑞) ≡ (~𝑝𝑝 ∧ 𝑞𝑞)
Definición del condicional
(𝑝𝑝→𝑞𝑞) ≡ [~(𝑝𝑝 ∧ ~𝑞𝑞)]
 p ⟺ q ≡ (p → q) ∧ (q → p)
Definición del bicondicional
p ⟺ q ≡ {P(p → q)Q} ∨ (∼p ∧ ∼q)
(p → q) ∧ (r → s)
Dilemas constructivos p∨r
q ∨ s…
(p → q) ∧ (r → s)
Dilemas destructivos ∼q∨∼s
∼ p ∨∼ r .

Exportación (p ∧ q)→r ≡ p→(q ∧ r)

(p∧p)⟺p
Idempotencia
(p∨p)⟺p
X = A(b+cd)
Expansión booleana
XY’ + Z + YYZ + Y’Z