2.6: Conclusión

Última actualización
Guardar como PDF

Page ID: 82744

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

El álgebra booleana, o funciones donde los valores son valores binarios o de dos dígitos, es la base de los circuitos que se presentarán en este texto. Las funciones booleanas siempre pueden representarse en una tabla de verdad, y luego traducirse directamente a DNF. Por lo tanto, cualquier función booleana se puede escribir usando solo operaciones AND, OR y NOT.

Para instanciar estas funciones en hardware para una computadora, se utilizarán circuitos. Por varias razones, entre ellas hacer que el circuito sea más rápido y disminuir la cantidad de electricidad utilizada y la cantidad de calor generado, es de interés para los diseñadores hacer los circuitos lo más pequeños posible, y hacer que los circuitos contengan la menor cantidad de puertas posibles. DNF rara vez representa el circuito más pequeño posible, y el álgebra booleana se introduce como una forma de simplificar un circuito.

Es difícil saber si un circuito se ha reducido a un mínimo usando solo DNF, por lo que se introdujo el concepto de un mapa K que es una forma mecánica de asegurar circuitos mínimos.