Formulario Matemática

Lógica Matemática
Tablas de Verdad

Conjunción Disyunción Disyunción Exclusiva

P Q P˄Q P Q P˅Q P Q P˅Q
V V V V V V V V F
V F F V F V V F V
F V F F V V F V V
F F F F F F F F F

Condicional Bicondicional Negación

P Q P→Q P Q P↔Q P ┐P
V V V V V V V F
V F F V F F F V
F V V F V F
F F V F F V
Equivalencias Identidad Distributivas
P↓Q ≡ ¬P ˄ ¬Q P˅V≡V (P ˄ Q) ˄ R ≡ P ˄ (Q ˄ R)
(P ˅ Q) ≡ (P˅Q) ˄ ¬(P˄Q) P˄V≡P (P ˅ Q) ˅ R ≡ P ˅ (Q ˅ R)
P→Q ≡ ¬P ˅ Q P˅F≡P (P ˅ Q) ˅ R ≡ P ˅ (Q ˅ R)
P↔Q ≡ (P→Q) ˄ (Q→P) P˄F≡F P↔(Q↔R)≡(P↔Q)↔R≡ (P ˅ Q) ˅ R
Involución Conmutativas
¬(¬P) ≡ P P˅Q≡Q˅P
Idempotencia P˄Q≡Q˄P
P˄P≡P P˅Q≡Q˅P
P˅P≡P Asociativas
Complemento (P ˄ Q) ˄ R ≡ P ˄ (Q ˄ R)
¬P ˅ P ≡ V (P ˅ Q) ˅ R ≡ P ˅ (Q ˅ R)
¬P ˄ P ≡ F (P ˅ Q) ˅ R ≡ P ˅ (Q ˅ R)
P↔(Q↔R)≡(P↔Q)↔R≡ (P ˅ Q) ˅ R