Essays.club - Ensayos gratis, notas de cursos, notas de libros, tareas, monografías y trabajos de investigación
Buscar

Lógica – FCE CIRCUITOS LÓGICOS

Enviado por   •  28 de Noviembre de 2017  •  3.527 Palabras (15 Páginas)  •  496 Visitas

Página 1 de 15

...

---------------------------------------------------------------

(iv) Asociatividad:

(8a) (a + b) + c = a + (b + c) (8b) (a * b) * c = a * (b * c)

Teorema 1.3: Sea a un elemento cualquiera de un álgebra de Boole B, se cumple:

(i)

Unicidad del complemento:

(ii)

Si a + x = 1 y a * x = 0, entonces

Involución:

x = a

a = a

(iii) (9a) 0 = 1 (9b) 1 = 0[pic 11]

Teorema 1.4: Leyes de De Morgan

(10a)[pic 12][pic 13][pic 14][pic 15][pic 16][pic 17]

---------------------------------------------------------------

a + b = a * b

---------------------------------------------------------------

(10b)

---------------------------------------------------------------

a * b = a + b

Es importante insistir que el álgebra de Boole es la estructura algebraica de la lógica de enunciados. En efecto, si se reemplazan las variables a, b, c, … por variables proposicionales, la suma y el producto por la disyunción y la conjunción respectivamente, el complemento por la negación, la igualdad por el bicondicional, y 1 y 0 por V y F respectivamente, todos los axiomas y teoremas del álgebra de Boole se transforman en axiomas o teoremas de la lógica de enunciados. Por ejemplo:

(2b) a * (b + c) = (a * b) + (a * c) p ∧ (q ∨ r) ↔ (p ∧ q) ∨ (p ∧ r) (5a) a + a = a p ∨ p ↔ p

(7a) a + (a * b) = a p ∨ (p ∧ q) ↔ p

(10b) a * b = a + b[pic 18][pic 19][pic 20]

---------------------------------------------------------------

¬(p ∧ q) ↔ ¬p ∨ ¬q

1.6 Forma de suma de productos

Considérese un conjunto de variables a, b, c, d, … .

∙ Una expresión booleana E en estas variables es o una variable o una expresión construida con estas variables y usando las operaciones booleanas +, * o . Por[pic 21]

ejemplo, las siguientes son expresiones booleanas:

(a + bc) + (abc + ab)[pic 22][pic 23][pic 24][pic 25][pic 26]

---------------------------------------------------------------

((abc + b) + ac)

∙ Un literal es una variable o una variable complementada. Por ejemplo, a, a , b, b son literales.[pic 27][pic 28]

∙ Un producto fundamental es un literal o un producto de dos o más literales en el cual no hay dos literales con la misma variable. Por ejemplo, ac , abc , a, b , bc , abc son[pic 29][pic 30][pic 31][pic 32][pic 33]

---------------------------------------------------------------

productos fundamentales. En cambio, abac y abcb no son productos fundamentales: el primero contiene a y a , mientras que el segundo contiene b dos veces.[pic 34][pic 35]

∙ Una expresión booleana E está en forma de suma de productos si E es un producto fundamental o una suma de dos o más productos fundamentales. Por ejemplo, la siguiente expresión está en suma de productos:

ac + abc + abc[pic 36][pic 37][pic 38][pic 39]

Pero la siguiente expresión no está en forma de suma de productos:

ac + aba + abc[pic 40][pic 41][pic 42]

ya que el segundo término no es un producto fundamental.

2. CIRCUITOS LÓGICOS

2.1 Introducción

Un circuito lógico es un dispositivo que tienen una o más entradas y exactamente una salida. En cada instante cada entrada tiene un valor, 0 o 1; estos datos son procesados por el circuito para dar un valor en su salida, 0 o 1.

Los valores 0 y 1 pueden representar ciertas situaciones físicas como, por ejemplo, un voltaje nulo y no nulo en un conductor.

V

1 1 1 1

0 0 0 0[pic 43]

t

Los circuitos lógicos se construyen a partir de ciertos circuitos elementales denominados compuertas lógicas, entre las cuales diferenciaremos:

∙ Compuertas lógicas básicas: OR, AND, NOT.

∙ Compuertas lógicas derivadas: NOR, NAND.

2.2 Compuerta OR

En una compuerta OR con entradas A y B, la salida Y resulta:

Y = A + B

donde la suma se define por la siguiente tabla:

---------------------------------------------------------------

A

B

Y=A+B

0

0

0

0

1

1

1

0

1

1

1

1

La compuerta OR se representa del siguiente modo:

A

...

Descargar como  txt (23.8 Kb)   pdf (252.6 Kb)   docx (589.1 Kb)  
Leer 14 páginas más »
Disponible sólo en Essays.club