Muchas de las leyes y métodos deductivos de la lógica, que no se expusieron en la presentación de la lógica de proposiciones, se pueden interpretar más fácilmente empleando el lenguaje del álgebra de Boole, y en concreto haciendo uso de las funciones booleanas, que de nuevo, por abuso del lenguaje, se denominan a veces funciones lógicas en el ámbito de la electrónica, lo cual se debe asumir con naturalidad.
Hemendik aurrera, kontzeptu logikoak maneiatzeko aljebra boolearrarentresnak erabiliko ditugu, elektronika digitalaren esparruan, tresna horiek logikaren lengoaia formala baino egokiagoak baitira.
En adelante, todas las manipulaciones de conceptos lógicos se harán a partir de las herramientas que proporciona el álgebra de Boole, que de cara a la electrónica digital son más adecuadas que las del lenguaje formal de la lógica.
Los postulados y teoremas del álgebra de Boole establecen una serie de relaciones entre variables booleanas que resultan de interés por suaplicación a la manipulación de expresiones lógicas, sobre todo de carasu simplificación.
Baliokidetasun horiek agerian uzten dute proposizio-logika entitate jakin bat dela eta aljebra boolearrareneredu matematikoaren araberakoa dela.
La equivalencia anterior refleja el hecho de que la lógica proposicionales una entidad concreta que se corresponde con el modelo matemático del álgebra de Boole.
Hala ere, aurreko ataletan aipatutakoez gain, ez ditugu lengoaia logikoaren elementu gehiago aztertuko, elektronikaren esparruan, logikako elementuak nahiko lengoaia orokorragoekin erabiltzen baitira, besteak beste aljebra boolearrarekin. Azken hori da, hain zuzen ere, hurrengo atalean aztertuko duguna.
Aljebra boolearra teoria matematiko bat da. Ezaugarri edo baldintza jakin batzuk betetzen dituzten multzoen propietateei buruzkoa da.
El álgebra de Boole es una teoría matemática que trata sobre las propiedades de un determinado tipo de conjuntos que cumplen ciertas características o requisitos.
Logika, aljebra boolearra eta elektronika digitala horren ongi egokitzen dira beren artean, non etengabe esparru bateko eta besteko kontzeptu eta terminoak nahastu egiten dira.
Mekanismo horiek aljebra boolearraren teoria matematikoen arabera azalduko ditugu; izan ere, sistema digitalen diseinuen kontrolerakoprozesuak interpretatu, zehaztu eta azaltzeko tresnak ematen dizkigute teorema horiek.
En esta unidad didáctica, se relacionaran los tipos de funciones primitivas básicas vistas en el álgebra de Boole, con la realización de circuitos partiendo de la función lógica o de la tabla de verdad.
Ildo horretan, jarraian aljebra boolearraren berezko termino eta kontzeptuak azalduko ditugu, baina elektronika digitalari buruz ari garenez eta esparru horretan ohikoa den legez, termino batzuk eletronika edo logikako beste termino batzuekin ordeztuko ditugu.
En este sentido, en lo que sigue se expondrá el álgebra de Boole en sus propios términos, pero algunos se irán sustituyendo por otros que pertenecen, bien a la electrónica o a la lógica, según es la práctica común en el ámbito de la electrónica digital.
A partir de los postulados del álgebra de Boole, se pueden deducir una serie de relaciones entre variables booleanas que resultan de interés por suaplicación a la manipulación de expresiones lógicas, sobre todo de cara a su simplificación.
Aljebra boolearra erabiliz, ez dago sinplifikatzeko arau finkorik, eta aplikatutako teoremen arabera, adierazpen bat ala bestea sortu daiteke.
La tarea de la simplificación empleando los teoremas del álgebra de Boole no tiene una regla fija, y según los teoremas que se apliquen se puede llegar a una u otra expresión.
Aljebra boolearraren teoremen bitartez, adierazpen ez-kanonikoa garatu, biderkaduren (ziur asko ez-kanonikoak) batuketaz osatutako adierazpena edo batuketen biderkaduraz osatutakoa lortu arte.
Mediante el empleo de los teoremas del álgebra de Boole, desarrollar la expresión no canónica hasta obtener una expresión formada tan solo por suma de productos (no canónicos posiblemente) o producto de sumas (no canónicas posiblemente) según lo deseado.
