Inferencia lógica

[LA]

Ley de Adición

[LC]

Ley Conmutativa

[EL]

Ley de Equivalencia Lógica

1 2

a
a b
Ley Asociativa

P LA1pq q p pq  q p

p q  pq
[LB]
Ley Bicondicional

[TP]

Tollendo Pone

[TT]

Toll. Tollens

1 2 P LB1 3

ab
aP P

1

ab
a
[PP]
Ponens

P P

2 b 3

[AS]

1 2
[DN]
Doble Negación

( p  q)  r  p  (q  r ) ( p  q)  r p  (q  r )
[LD]
Ley Distributiva

a b (a  b)  (b  a)
[AD]
Adjunción

b

TP1,2

TT1,2
Ponendo

[SH]

SilogHipotético

1 P P 2 3

ab

P P SH1,2

1 2 3

ab

P P

p  (q  r )  ( p  q)  ( p  r ) p  (q  r )  ( p  q)  ( p  r )[LI]
L. Inversa

aa
[DP]
Simpl. Disyunt.

1 2 3

a
b

bc

ac
b 0 1 0 1

a
b

PP1,2

[AB]

Absorción

1aa 2 a
[S]

P DP1

a b

AD1,2

Tablas de la Verdad

aa 0 aa 1
[LM]
Ley de Morgan

p  ( p  q)  p p  ( p  q)  p[N]
Neutro

[SD]

a
Silogismo Disy.

 0 0 0 1

 0 1 1 1

 0 1 1 0

 1 1 0 1

 1 0 0 1

Simplificación

1 P S1S1 2 3 4

1 2 3

a b

ac
bd

ab

P P P

0 0 1 1

pq  pq pq  pq

p0  0 p0  p

a
b

d c

SD1,3,2nelson6e_eduardo65@yahoo.es

Postulados y Teoremas del Álgebra Booleana

Postulados y Teoremas del Álgebra Booleana