TABLAS DE LA VERDAD

LEYES DE INFERENCIA O IMPLICACIÓN

MPP MTT S.H. S. Disyunción Adición Conjunción Simplificación

AB AB AB AvB AvB A A A^B

A ~B BC ~A ~B AvB A^B A

B ~A AC B A

D. Constructivo D. Destructivo Ley de

Absorción
AC AC
AB
BD BD
A(A ^ B)
AvB ~C v ~D
B
CvD ~A v ~B