lunes, 8 de noviembre de 2010

Ensayo de funciones logicas

El álgebra booleana es un sistema matemático deductivo centrado en los valores cero y uno (falso y verdadero). Un operador binario “ º “ definido en éste juego de valores acepta un par de entradas y produce un solo valor booleano, por ejemplo, el operador booleano AND acepta dos entradas booleanas y produce una sola salida booleana. Para cualquier sistema algebraico existen una serie de postulados iniciales, de aquí se pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el álgebra booleana a menudo emplea los siguientes postulados:
Cerrado. El sistema booleano se considera cerrado con respecto a un operador binario si para cada par de valores booleanos se produce un solo resultado booleano.
Conmutativo. Se dice que un operador binario “ º “ es conmutativo si A º B = B º A para todos los posibles valores de A y B.
Asociativo. Se dice qu un operador binario “ º “ es asociativo si (A º B) º C = A º (B º C) para todos los valores booleanos A, B, y C.
Distributivo. Dos operadores binarios “ º “ y “ % “ son distributivos si A º (B % C) = (A º B) % (A º C) para todos los valores booleanos A, B, y C.
Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a un operador binario “ º “ si A º I = A.
Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano “ º “ si A º I = B, y B es diferente de A, es decir, B es el valor opuesto de A.


2 comentarios:

  1. Hector, en clase habiamos quedado que la tarea se entregaba de manera personal, pero dada tu ausencia me parece bastante bien el enviarme tu ensayo por este medio, por lo que considero tu ausencia personal como asistencia por haber enviado tus tareas en tiempo y forma.
    Saludos
    Nota.- Debes estar pendiente en esta semana a mi blog, ya que subire la tarea para entregar el proximo Lunes.

    ResponderEliminar
  2. Hector aun entregado este ensayo, seria bueno que tuvieras el tema en tu libreta para futuras consultas

    ResponderEliminar