Saltar al contenido principal
LibreTexts Español

7.3: Identidades algebraicas booleanas

  • Page ID
    154666
  • \( \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}}\)

    En matemáticas, una identidad es una afirmación verdadera para todos los valores posibles de su variable o variables. La identidad algebraica de x + 0 = x nos dice que cualquier cosa (x) agregada a cero es igual a la “cualquier cosa” original, sin importar qué valor pueda ser esa “cualquier cosa” (x). Al igual que el álgebra ordinaria, el álgebra booleana tiene sus propias identidades únicas basadas en los estados bivalentes de las variables booleanas.

    La primera identidad booleana es que la suma de cualquier cosa y cero es la misma que la “cualquier cosa” original. Esta identidad no es diferente de su equivalente algebraico de número real:

    14019.png

    No importa cuál sea el valor de A, la salida siempre será la misma: cuando A=1, la salida también será 1; cuando A=0, la salida también será 0.

    La siguiente identidad es definitivamente diferente de cualquier vista en álgebra normal. Aquí descubrimos que la suma de cualquier cosa y uno es uno:

    14020.png

    No importa cuál sea el valor de A, la suma de A y 1 siempre será 1. En cierto sentido, la señal “1” anula el efecto de A en el circuito lógico, dejando la salida fija en un nivel lógico de 1.

    A continuación, examinamos el efecto de sumar A y A juntos, que es lo mismo que conectar ambas entradas de una puerta OR entre sí y activarlas con la misma señal:

    14021.png

    En el álgebra de números reales, la suma de dos variables idénticas es el doble del valor de la variable original (x + x = 2x), pero recuerde que no hay concepto de “2” en el mundo de las matemáticas booleanas, solo 1 y 0, por lo que no podemos decir que A + A = 2A. Así, cuando agregamos una cantidad booleana a sí mismo, la suma es igual a la cantidad original: 0 + 0 = 0, y 1 + 1 = 1.

    Introduciendo el concepto booleano único de complementación en una identidad aditiva, encontramos un efecto interesante. Dado que debe haber un valor “1” entre cualquier variable y su complemento, y dado que la suma de cualquier cantidad booleana y 1 es 1, la suma de una variable y su complemento debe ser 1:

    14022.png

    Así como hay cuatro identidades aditivas booleanas (A+0, A+1, A+A y A+A'), también hay cuatro identidades multiplicativas: Ax0, Ax1, AxA y Axa'. De estos, los dos primeros no son diferentes de sus expresiones equivalentes en álgebra regular:

    14023.png

    14024.png

    La tercera identidad multiplicativa expresa el resultado de una cantidad booleana multiplicada por sí misma. En álgebra normal, el producto de una variable y en sí mismo es el cuadrado de esa variable (3 x 3 = 3 2 = 9). No obstante, el concepto de “cuadrado” implica una cantidad de 2, que no tiene significado en álgebra booleana, por lo que no podemos decir que A x A = A 2. En cambio, encontramos que el producto de una cantidad booleana y en sí misma es la cantidad original, ya que 0 x 0 = 0 y 1 x 1 = 1:

    14025.png

    La cuarta identidad multiplicativa no tiene equivalente en álgebra regular porque utiliza el complemento de una variable, concepto único de las matemáticas booleanas. Dado que debe haber un valor “0” entre cualquier variable y su complemento, y como el producto de cualquier cantidad booleana y 0 es 0, el producto de una variable y su complemento debe ser 0:

    14026.png

    Para resumir, entonces, tenemos cuatro identidades booleanas básicas para la suma y cuatro para la multiplicación:

    14027.webp

    Otra identidad que tiene que ver con la complementación es la del doble complemento: una variable invertida dos veces. Complementar una variable dos veces (o cualquier número par de veces) da como resultado el valor booleano original. Esto es análogo a negar (multiplicar por -1) en álgebra de número real: un número par de negaciones se cancela para dejar el valor original:

    14033.png


    This page titled 7.3: Identidades algebraicas booleanas is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Tony R. Kuphaldt (All About Circuits) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.