Seccin Tcnica Nocturna

Puriscal
Departamento:
Informtica Empresarial
Sub-rea:
Programacin
Profesor:
Jairo Castillo R
Estudiantes:
Chavarra Mora Winston
Jimenez Jimenez Olger
Villarevia Fernndez Rebeca
Seccin:10-10

INRODUCCIN:
El objetivo de esta trabajo es encontrar una manera de
explicar o entender sobre el Algebra de Boule ( tambin
llamada algebra Boleana)
Por este motivo vamos a investigar lo siguiente:

Lgica Binaria
Principio de dualidad
Multiplicacin lgica o interseccin
Suma lgica o unin
Negacin lgica
Tabla de verdad
Verdadero falso
Variable
Negacin
Conjuncin
Disyuncin
Implicacin o Condicional
Equivalencia o Bicondicinal
Verdad Indeterminada o Contingencia
Contradiccin
Tautologas

Esperamos poder entender y explica uno a uno los temas

nombrados anteriormente de manera que no solo nosotros
logremos entenderlos sino tambin nuestros compaeros

Lgica binaria

La lgica binaria trabaja con variables binarias y

operaciones lgicas del lgebra de Boole. As, las variables slo toman dos
valores discretos: V (verdadero) y F (falso); aunque tambin se pueden
denotar como s y no, 1 y 0 respectivamente.
Es un rea de la matemtica aplicada al campo de la electrnica. Es la base de
los Sistemas Digitales y ello implica tambin, la base de la Estructura
de Computadores.

Principio de dualidad
Todas las expresiones booleanas permanecen vlidas si se intercambian los
operadores '+' y '', y los elementos '0' y '1'.
As para obtener una expresin algebraica dual, se intercambian los operadores
"Y" y "" y se reemplazan unos por ceros y viceversa

Multiplicacin lgica o interseccin

Tambin conocida como AND (la conjuncin y en ingls). (Y)

Resumiendo, el resultado siempre dar 0 a menos que ambas variables valgan

1; esto sucede porque como se explic anteriormente hay slo dos variables 0
y 1 por consiguiente al multiplicar 11 nos da como resultado 1.

en informtica y matemtica es una estructura algebraica que esquematiza funciones

(https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole,
https://es.wikipedia.org/wiki/L%C3%B3gica_binaria

https://es.wikipedia.org/wiki/Tabla_de_verdad
Libro: Introduccin a la matemtica discreta, Manuel Murillo Tsijli, 4 edicin)
Esto quiere decir que basadose en el algebra de Boule se puede interpreta el lenguaje de
comandos de un computador, es decir, de una manera u otra forma sesabe como se le dan las
ordenes al computador

Suma lgica o unin

Tambin conocida como OR

(o).

Negacin lgica
Tambin conocida como NOT (no).

Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra
el valor de verdad de una proposicin compuesta, para cada combinacin de
valores de verdad que se pueda asignar a sus componentes.

Verdadero
El valor verdadero se representa con la letra V; si se emplea notacin numrica
se expresa con un uno: 1; en un circuito elctrico, el circuito esta cerrado.
en informtica y matemtica es una estructura algebraica que esquematiza funciones
(https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole,
https://es.wikipedia.org/wiki/L%C3%B3gica_binaria
https://es.wikipedia.org/wiki/Tabla_de_verdad
Libro: Introduccin a la matemtica discreta, Manuel Murillo Tsijli, 4 edicin)
Esto quiere decir que basadose en el algebra de Boule se puede interpreta el lenguaje de

comandos de un computador, es decir, de una manera u otra forma sesabe como se le dan las
ordenes al computador

Falso
El valor falso se representa con la letra F; si se emplea notacin numrica se
expresa con un cero: 0; en un circuito elctrico, el circuito esta abierto.

Variable
Para una variable lgica A, B, C, ... que pueden ser verdaderas V, o falsas F,
los operadores fundamentales se definen as:

Compuerta NOT

Negacin
La negacin es un operador que se ejecuta, sobre un nico valor de verdad,
devolviendo el valor contradictorio de la proposicin considerada.

en informtica y matemtica es una estructura algebraica que esquematiza funciones

(https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole,
https://es.wikipedia.org/wiki/L%C3%B3gica_binaria
https://es.wikipedia.org/wiki/Tabla_de_verdad
Libro: Introduccin a la matemtica discreta, Manuel Murillo Tsijli, 4 edicin)
Esto quiere decir que basadose en el algebra de Boule se puede interpreta el lenguaje de
comandos de un computador, es decir, de una manera u otra forma sesabe como se le dan las
ordenes al computador

Conjuncin Compuerta AND

Conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en
cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas

La tabla de verdad de la conjuncin es la siguiente:

Compuerta OR

Disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando una de las proposiciones es verdadera, o cuando
ambas lo son, y falso cuando ambas son falsas.

en informtica y matemtica es una estructura algebraica que esquematiza funciones

(https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole,
https://es.wikipedia.org/wiki/L%C3%B3gica_binaria
https://es.wikipedia.org/wiki/Tabla_de_verdad
Libro: Introduccin a la matemtica discreta, Manuel Murillo Tsijli, 4 edicin)
Esto quiere decir que basadose en el algebra de Boule se puede interpreta el lenguaje de
comandos de un computador, es decir, de una manera u otra forma sesabe como se le dan las
ordenes al computador

La tabla de verdad de la disyuncin es la siguiente:

Que se corresponde con la columna 2 del algoritmo fundamental.

Compuerta OR con una

variable negativa

Implicacin o Condicional
El condicional material es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso slo cuando la primera proposicin es verdadera y la segunda
falsa, y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

en informtica y matemtica es una estructura algebraica que esquematiza funciones

(https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole,
https://es.wikipedia.org/wiki/L%C3%B3gica_binaria
https://es.wikipedia.org/wiki/Tabla_de_verdad
Libro: Introduccin a la matemtica discreta, Manuel Murillo Tsijli, 4 edicin)
Esto quiere decir que basadose en el algebra de Boule se puede interpreta el lenguaje de
comandos de un computador, es decir, de una manera u otra forma sesabe como se le dan las
ordenes al computador

Equivalencia o Bicondicional

Compuerta Ex
NOR
El bicondicional o doble implicacin es un operador que funciona sobre dos
valores de verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen
el mismo valor de verdad, y falso cuando sus valores de verdad diferente.

La tabla de verdad del bicondicional es la siguiente:

Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin
molecular, as como el anlisis de la misma en funcin de las proposiciones que la
integran, encontrndonos con los siguientes casos:

en informtica y matemtica es una estructura algebraica que esquematiza funciones

(https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole,
https://es.wikipedia.org/wiki/L%C3%B3gica_binaria
https://es.wikipedia.org/wiki/Tabla_de_verdad
Libro: Introduccin a la matemtica discreta, Manuel Murillo Tsijli, 4 edicin)

Esto quiere decir que basadose en el algebra de Boule se puede interpreta el lenguaje de
comandos de un computador, es decir, de una manera u otra forma sesabe como se le dan las

ordenes al computador

Verdad Indeterminada o Contingencia

Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede
ser verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el
caso:

Su tabla de verdad se construye de la siguiente manera:

Ocho filas que responden a los casos posibles que pueden darse segn el
valor V o F de cada una de las proposiciones A, B, C. (Columnas 1, 2, 3)
Una columna (Columna 4) en la que se establecen los valores de
aplicando la
definicin del disyuntor a los valores de B y de C en cada una de las filas.(Columnas
2,3 4)
Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la
definicin de la conjuncin entre los valores de A (columna 1) y valores de la
columna
, (columna 4) que representarn los valores de la proposicin
completa
, cuyo valor de verdad es V o F segn la fila de los valores de
A, B, y C que consideremos. (Columnas 1,4 5)
Donde podemos comprobar cundo y por qu la proposicin
cundo es F.

es V y

en informtica y matemtica es una estructura algebraica que esquematiza funciones

(https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole,
https://es.wikipedia.org/wiki/L%C3%B3gica_binaria
https://es.wikipedia.org/wiki/Tabla_de_verdad
Libro: Introduccin a la matemtica discreta, Manuel Murillo Tsijli, 4 edicin)
Esto quiere decir que basadose en el algebra de Boule se puede interpreta el lenguaje de
comandos de un computador, es decir, de una manera u otra forma sesabe como se le dan las
ordenes al computador

Tautologas

Se entiende
por
proposicin
tautolgica,
o
tautologa,
aquella
proposicin
que en
todos los
casos
posibles de
su tabla de
verdad su
valor
siempre es V. Dicho de otra forma, su valor V no depende de los valores de
verdad de las proposiciones que la forman, sino de la forma en que estn
establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla

de verdad, tenemos la variable A en disyuncin con su contradiccin, si A es
verdad, su negacin es falsa y si A es falsa su negacin es verdad, en
cualquier caso una de las dos alternativas es cierta, y su disyuncin es cierta
en todos los casos.

en informtica y matemtica es una estructura algebraica que esquematiza funciones

(https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole,
https://es.wikipedia.org/wiki/L%C3%B3gica_binaria
https://es.wikipedia.org/wiki/Tabla_de_verdad
Libro: Introduccin a la matemtica discreta, Manuel Murillo Tsijli, 4 edicin)
Esto quiere decir que basadose en el algebra de Boule se puede interpreta el lenguaje de
comandos de un computador, es decir, de una manera u otra forma sesabe como se le dan las
ordenes al computador

CONCLUCIN:
Con este trabajo despus de mucho investigar logamos
entender un poco en lo que consiste el lgebra de Boule,
asi como a su vez logramos aprender un poco acerca de
los temas:

Lgica Binaria
Principio de dualidad
Multiplicacin lgica o interseccin
Suma lgica o unin
Negacin lgica
Tabla de verdad
Verdadero falso
Variable
Negacin
Conjuncin
Disyuncin
Implicacin o Condicional
Equivalencia o Bicondicinal
Verdad Indeterminada o Contingencia
Contradiccin
Tautologas
Que anteriormente hemos citado en el trabajo, tambin
logramos aprender un poco como se hacen o interpretan
las operaciones en el algebra de Boule.