Tipos de variables

Variable
Una variable símbolo que representa un elemento o cosa no especificada de un conjunto dado. Dicho conjunto es llamado conjunto universal de la variable, universo o variar de la variable, y cada elemento del conjunto es un valor de la variable. Sea x una variable cuyo universo es el conjunto {1,3,5,7,9,11,13}; entonces x puede tener cualquiera de esos valores: 1,3,5,7,9,11,13. En otraspalabras x puede reemplazarse por cualquier entero positivo impar menor que 14. Por esta razón, a menudo se dice que una variable es un reemplazo de cualquier elemento de su universo.
LITERALES
Literal: Es toda ocurrencia de una variable, ya sea complementada o sin complementar, en una expresión de conmutación.
Por ejemplo, en la expresión de conmutación:
A · B + C · A + D + B · 1
A, B, C y Dson Variables.
A, B, C, A, D y B son Literales.
1 es una Constante.
Complemento

El complemento de una función no es la misma función, es la forma negada de la función.
Minimizar
Minimizar una función F(X1,X2,X3, . . . Xn) es encontrar una función equivalente G(X1,X2,X3, . . . Xn) que tenga el mínimo numero de términos y literales.

Expresion Booleana
Las expresiones booleanas seusan para determinar si un conjunto de una o más condiciones es verdadero o falso, y el resultado de su evaluación es un valor de verdad. Los operandos de una expresión booleana pueden ser cualquiera de los siguientes:
* Expresiones relacionales: que comparan dos valores y determinan si existe o no una cierta relación entre ellos (ver más adelante), tal como mfn<10;
* Funcionesbooleanas: tal como p(v24), que regresa un valor de verdad (estos se explican bajo "Funciones booleanas").
Terminos
termino producto: es un grupo de literales que se encuentran relacionados entre si por un AND
(por ej. A·B, C·A, ·Y·Z ) 
termino suma:es un grupo de literales que se encuentran relacionados entre si por un OR
(por ej. A+B, C+A, +Y+Z ) 
termino normal: termino producto o termino sumaen el que un literal no aparece mas de una vez
termino canónico: termino en el que se encuentra exactamente uno de cada uno de los literales de la función.Si el termino canónico es un producto, se denominará mintermino. Si es una suma se denominará maxtermino,
forma normal de una función: es la que está constituida por términos normales. Puede estar en la forma suma de términos productos oproductos de términos sumas.
forma canónica de una función: es aquella constituida exclusivamente por términos canónicos que aparecen una sola vez.
Suma en binario
Para aprender a sumar, con cinco o seis años de edad, tuviste que memorizar las 100 combinaciones posibles que pueden darse al sumar dos dígitos decimales. La tabla de sumar, en binario, es mucho más sencilla que en decimal. Sólo hay querecordar cuatro combinaciones posibles:
+ | 0 | 1 |
0 | 0 | 1 |
1 | 1 | 0 + 1 |
Las sumas 0 + 0, 0 + 1 y 1 + 0 son evidentes:
0 + 0 = 0
0 + 1 = 1
1 + 0 = 1

Pero la suma de 1+1, que sabemos que es 2 en el sistema decimal, debe escribirse en binario con dos cifras (10) y, por tanto 1+1 es 0 y se arrastra una unidad, que se suma a la posición siguiente a la izquierda. Veamos algunosejemplos:
010 + 101 = 111 210 + 510 = 710
001101 + 100101 = 110010 1310 + 3710 = 5010

1011011 + 1011010 = 10110101 9110 + 9010 = 18110

110111011 + 100111011 = 1011110110 44310 + 31510 = 75810

Sustracción en binario
La técnica de la resta en binario es, nuevamente, igual que la misma operación en el sistema decimal. Pero conviene repasar la operación de restar en decimal para comprenderla operación binaria, que es más sencilla. Los términos que intervienen en la resta se llaman minuendo, sustraendo y diferencia.

- | 0 | 1 |
0 | 0 | 1 |
1 | 1 + 1 | 0 |

Las restas 0 - 0, 1 - 0 y 1 - 1 son evidentes:
0 – 0 = 0
1 – 0 = 1
1 – 1 = 0

La resta 0 - 1 se resuelve, igual que en el sistema decimal, tomando una unidad prestada de la posición siguiente: 10 - 1, es decir, 210...