FORMULARIO

Tabla de Verdad

p q
p
q p . q p v q p q p
p q
V V F V V V V F
V F F F V F F V
F V V F V V F V
F F V F F V V F


lgebra Proposiciones / lgebra Conjuntos.

lgebra de Proposiciones. lgebra de Conjuntos.
Leyes de
idempotencia.

p p p v
p p p .
Leyes de
idempotencia.
A A A =
A A A =

Leyes
asociativas.
( ) ( ) r q p r q p v v v v
( ) ( ) r q p r q p . . . .

Leyes
asociativas.
( ) ( ) C B A C B A =
( ) ( ) C B A C B A =
Leyes
conmutativas.

p q q p v v
p q q p . .
Leyes
conmutativas.
A B B A =
A B B A =
Leyes
distributivas.
( ) ( ) ( ) r p q p r q p . v . v .
( ) ( ) ( ) r p q p r q p v . v . v
Leyes
distributivas.
( ) ( ) ( ) C A B A C B A =
( ) ( ) ( ) C A B A C B A =
Ley de
complemento.

( ) p p
Leyes de
identidad.
A A = C A U A =
U U A = C = C A
Leyes de
Morgan.
( ) q p q p v .
( ) q p q p . v
Leyes de
complemento.
U A A
C
= C =
C
A A
( ) A A
C
=
C
C =
C
U U
C
= C
Ley de la
Absorcin
( ) p p q p . v
( ) p p q p v .
Leyes de
Morgan.
( )
C C C
B A B A =
( )
C C C
B A B A =
Identidades V V p p V p v . ;
p F p F F p v . ;
V p p F p p v . ;
q p q p v
( ) ( ) p q q p q p .
Ley de la
Absorcin
( )
( ) A B A A
A B A A
=
=

Diferencia
C
B A B A =


CONECTIVOS:
- Conjuncin
- Disyuncin(inclusiva)
- Condicional

- Bicondicional

- Disyuncin(exclusiva)