En esta entrega paso las tabla de verdad ( hay muy poco codigo Latex) y las figuras mas reconocidas de las compuertas lógicas básicas y las relaciones y propiedades del álgebra booleana.


Lógica Booleana en compuertas

Afirmación SI

Haz clic en la imagen para ampliar

Nombre:	verdadero.jpg
Vitas:	1
Tamaño:	1,7 KB
ID:	340775
A S
1 1
0 0
Negación NO

Haz clic en la imagen para ampliar

Nombre:	negacion L.jpg
Vitas:	1
Tamaño:	1,5 KB
ID:	340776Haz clic en la imagen para ampliar

Nombre:	negacion TR.jpg
Vitas:	1
Tamaño:	3,0 KB
ID:	340777
A S
1 0
0 1
Y And



Haz clic en la imagen para ampliar

Nombre:	Y L.jpg
Vitas:	1
Tamaño:	1,6 KB
ID:	340778Haz clic en la imagen para ampliar

Nombre:	Y TR.jpg
Vitas:	1
Tamaño:	3,5 KB
ID:	340779
A B S
1 1 1
1 0 0
0 1 0
0 0 0
Nand


Haz clic en la imagen para ampliar

Nombre:	NAND.jpg
Vitas:	1
Tamaño:	1,7 KB
ID:	340780
A B S
1 1 0
1 0 1
0 1 1
0 0 1
O OR
Haz clic en la imagen para ampliar

Nombre:	OR L.jpg
Vitas:	1
Tamaño:	1,7 KB
ID:	340781Haz clic en la imagen para ampliar

Nombre:	OR TR.jpg
Vitas:	1
Tamaño:	4,0 KB
ID:	340782
A B S
1 1 1
1 0 1
0 1 1
0 0 0
NOR
Haz clic en la imagen para ampliar

Nombre:	NOR L.jpg
Vitas:	1
Tamaño:	1,9 KB
ID:	340783
A B S
1 1 0
1 0 0
0 1 0
0 0 1
XOR OR exclusiva


Haz clic en la imagen para ampliar

Nombre:	XOR L.jpg
Vitas:	1
Tamaño:	1,7 KB
ID:	340784
A B S
1 1 0
1 0 1
0 1 1
0 0 0

Leyes lógicas


Doble negación
S=
\overline{\overline A}}
=A
A S
1 1
0 0
Idempotencia

S=A+A=A




S=
A\cdot A=A
A A S
1 1 1
0 0 0
A A S
1 1 1
0 0 0
Ley asociativa
A B C

A+B


B+C


A+(B+C)


(A+B)+C
0 0 0 0 0 0 0
0 0 1 0 1 1 1
0 1 0 1 1 1 1
0 1 1 1 1 1 1
1 0 0 1 0 1 1
1 0 1 1 1 1 1
1 1 0 1 1 1 1
1 1 1 1 1 1 1
Ley distributiva

S=A \cdot (B+C)



S=A \cdot B+A \cdot C
A B C
0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 1 1 1 0 0 0 0
1 0 0 0 0 0 0 0
1 0 1 1 0 1 1 1
1 1 0 1 1 0 1 1
1 1 1 1 1 1 1 1
Ley conmutativa

S=A+B=B+A
A B

A+B


B+A
0 0 0 0
0 1 1 1
1 0 1 1
1 1 1 1
Ley de De Morgan I

S=\overline{A
\cdot B}\equiv \overline{A}
+\overline{ B}
A B

\overline{A \cdot B}

\overline{A}+ \overline{ B}
0 0 1 1
0 1 0 0
1 0 0 0
1 1 0 0
Ley de De Morgan II

S=\overline{A + B}
\equiv \overline{A}
\cdot \overline{ B}
A B

\overline{A + B}


\overline{A}\cdot \overline{ B}
0 0 1 1
0 1 1 1
1 0 1 1
1 1 0 0
Falacia contradicción

S=F
A S
1 0
0 0
Tautología

S=V
A S
1 1
0 1
Implicación

S=A\Rightarrow B
A B S
0 0 1
0 1 1
1 0 0
1 1 1