Función lógica: Es toda proposición ᾹḂ Ᾱb aḂ AB AB Variables NAND DE TRES ESTADOS
compuesta por otras proposiciones o variables 00 01 10 11 Codigo binario
lógicas, relacionadas por las tres, dos o una m0 m1 m2 m3 Mintermino
operación básica que pueden ser verdadera o 0 0 0 0 F0 funvion 0
falsa. interseccion
0 0 0 1 F1
Principio de dualidad.- la dualidad implica la AND=A•B
existencia de al menos dos formas de 0 0 1 0 F2 inhivision A•Ḃ
expresar toda función lógica. 0 0 1 1 F3 variable A
Min término.- es una variable lógica 0 1 0 0 F4 inhivision Ᾱ•B
compuesta, y el operador que relaciona es la 0 1 0 1 F5 VBriable A
proposición intersección o producto lógico tal dilema OR-EX
0 1 1 0 F6
que en ninguna de ellas figure una variable = A(+)B
repetida. union OR =
0 1 1 1 F7
Max termino.- un maxtermino es la unión de A+B
intersecciones de variables lógicas 1 0 0 0 F8 NOR
individuales, tal qun maxtermino es la unión de IDENTIDAD
1 0 0 1 F9
intersecciones de variables lógicas NOR-EX
individuales, tal q’ ninguna variable sea 1 0 1 0 F10 variable Ḃ
repetida ni coexista con su complemento. implicacion
1 0 1 1 F11
Funciones canónicas.- una función canónica B→A
es cuando esta compuesto por min términos o 1 1 0 0 F12 variable Ᾱ
Max términos, en su generación participan 1 1 0 1 F13
inplicacion
todas la variables individuales expresadas en A→B
la pfc o sfc. 1 1 1 0 F14 NAND
1 1 1 1 F15 Funcion 1
Segunda forma canonica.- es toda función
expresada como una intersección de NOR DE DOS ESTADOS
maxterminos donde no figuren variables
repetidas.
Formas: literal numeral simbolica binaria
R6
R2 R3
Algebra de Boole.- el algebra de Boole es Q5
R1
una estructura matemática que utiliza las tres
operaciones básicas q’ son: producto lógico,
suma lógica y el complemento. D1
Q3Q4
Tabla de verdad.- es una forma de Q1
representación de una función lógica en la que Q6
se indica que toma el valor de 0 o 1 lógico Q2
para cada una de las combinaciones posibles.
R4
Teorema fundamental de las funciones
lógicas.- a) la unión de todo los minterminos X
de n variables es igual a 1 lógico.
b) la intersección de todos los maxterminos es
igual a 0 lógico.