Logica Ternaria

ESCUELA POLITCNICA NACIONAL
ESTUDIO DE LA LGICA TERNARIA Y DE LA ESTRUCTURA DE

CIRCUITO DE LGICA SIMTRICA SUPLEMENTARIA (SUS-LOC)
PROYECTO PREVIO ALA OBTENCINDEL TITULO DE INGENIERO EN

ELECTRNICA Y TELECOMUNICACIONES
MARWIN ESTUARDO MORALES NARANJO
DIRECTOR: ING. JOS ANTONIO PAZMIO
Quito, Mayo 2005

DECLARACIN
Yo, Marwin Estuardo Morales Naranjo, declaro bajo juramento que el trabajo aqu
descrito es de mi autora; que no ha sido previamente presentado para ningn
grado o calificacin profesional; y, que he consultado las referencias bibliogrficas
que se incluyen en este documento.
A travs de la presente declaracin cedo mis derechos de propiedad intelectual

correspondientes a este trabajo, a la Escuela Politcnica Nacional, segn lo
establecido por la Ley de Propiedad intelectual, por su Reglamento y por la
normatividad institucional vigente.
Marwin Esluardo Morales Naranjo

CERTIFICACIN
4
Certifico que el present trabajo fue "desarrollado, ^por Marwin Estudrdo Morales
Naranjo, bajo m supervisin.
:r >* -x^"' ^'' ' "

rK; mg. Josfe Antonio Pazmio
DIRECTOR DEL PROYECTO
AGRADECIMIENTO
Un sincero agradecimiento al Ingeniero Jos Antonio Pazmio por su invalorable

orientacin y direccin para elaborar esta tesis de grado.
Agradezco tambin a todas aquellas personas que de una u otra forma me

brindaron su ayuda, para la realizacin del presente trabajo; y, en especial a
Mariana, David y Ramiro.
DEDICATORIA
El presente trabajo est dedicado en primer lugar a Dios, por ser mi fortaleza y
gua en todo momento. Adems, a ms Padres, cuyo esfuerzo se ve
recompensado en la eternidad y por haberme dejado la herencia ms grande que
un hombre puede tener, la educacin; a m hermano por su constancia y aliento
en ios momentos ms difciles.
CONTENIDO
CAPITULO 1.
LGICA TERNARIA.
1.1 INTRODUCCIN 1
1.2 VENTAJAS Y DESVENTAJAS DE LA LGICA TERNARIA 6
1.3 LGICA TRIVALENTE DE LUKASIEWICZ 9
1.4 LGICA TRIVALENTE DE KLEENE 15
1.4.1 FUNCIONES RECURSIVAS PARCIALES 16
1.4.2 LGICA TRIVALENTE 27
1.5 LGICA TRIVALENTE DE POST 32
1.6 LGICA TRIVALENTE DE BOCHVAR 34
1.7 LGICA TRIVALENTE DE REICHENBACH 36
1.8 COMPARACIN ENTRE LAS LGICAS TERNARIAS 39
CAPTULO 2.
TIPO DE FUNCIONES LGICAS TERNARIAS,

2.1 INTRODUCCIN 41
2.2 FUNCIONES LGICAS TERNARIAS REGULARES 41
2.2.1 REPRESENTACIN DE FUNCIONES LGICAS TERNARIAS
REGULARES 45
2.3 FUNCIONES LGICAS B-TERNARIAS 47
2.4 FUNCIONES TERNARIAS REGULARES MONTONAS 48
2.5 FUNCIONES LGICAS TERNARIAS DE MAYORA 48
2.6 ALGEBRA TERNARIA 50
CAPTULO 3.
CONECTIVOS LGICOS Y FUNCIONES TERNARIAS

SCRAMBLER/DESCRAMBLER.
3.1 INTRODUCCIN 54
3.2 FUNCIONES CONMUTATIVAS Y NO CONMUTATIVAS TERNARIAS 57
3.3 CONECTIVOS LGICOS 60
3.3.1 FUNCIONES TERNARIAS DE UNA VARIABLE 60
3.3.1.1 Negacin ternaria smpe (STI) 61
3.3.1.2 Negacin ternaria positiva (PTI) 62
3.3.1.3 Negacin ternaria negativa (NTI) 62
3.3.1.4 Rotacin hacia arriba (Rotate Up) 62
3.3.1.5 Rotacin hacia abajo (Rotate Down) 63
3.3.1.6 Shiftup 64
3.3.1.7 Shiftdown 64
3.3.2 FUNCIONES TERNARIAS DE DOS VARIABLES 64
3.3.2.1 Mnimo 64
3.3.2.2 Mximo 65
3.3.2.3 Mximo exclusivo 66
3.3.2.4 Mean 66
3.3.2.5 Magnitud 66
3.3.2.6 OR 67
3.3.2.7 NAND 67
3.4 SUMADORES 68
3.4.1 SEMISUMADOR 68
3.4.2 SUMADOR COMPLETO 69
3.5 FUNCIONES SCRAMBLER Y DESCRAMBLER TERNARIAS 71
3.5.1 FUNCIONES TERNARIAS SCRAMBLER/DESCRAMBLER
CONMUTATIVAS 75
3.5.2 LEY DESCRAMBLER PARA SCRAMBLERS COMPUESTOS 77
CAPTULO 4.
DESARROLLO ACTUAL DE LA TECNOLOGA TERNARIA.

4.1 INTRODUCCIN 84
4.2 CONSIDERACIONES TECNOLGICAS 85
4.2.1 CIRCUITOS LGICOS TERNARIOS CMOS 86
4.3 CONDICIN ACTUAL DE LA LGICA TERNARIA 88
CAPTULOS.
ESTRUCTURA DE CIRCUITO DE LGICA SIMTRICA SUPLEMENTARIA

(SUS-LOC).
5.1 INTRODUCCIN 90
5.2 PRINCIPIO DE SUS-LOC 92
5.3 VENTAJAS Y DESVENTAJAS TCNICAS DE SUS-LOC 98
5.4 CARACTERSTICAS DE LOS ELEMENTOS 101
5.5 DESARROLLO DE CIRCUITOS SUS-LOC 106
5.6 COMPUERTAS LGICAS TERNARIAS SUS-LOC 113
5.6.1 FUNCIONES DE UNA VARIABLE 113
5.6.2 FUNCIONES DE DOS VARIABLES 115
5.6.3 ETAPAS ADICIONALES PARA EVITAR BACK-BIASING 125
CAPITULO 6.
CONCLUSIONES Y RECOMENDACIONES.
6.1 CONCLUSIONES 128
GLOSARIO DE TRMINOS 131

REFERENCIAS BIBLIOGRFICAS 133
ANEXOS.
ANEXO A: FUNCIONES DE UNA VARIABLE (OPF).

ANEXO B: FUNCIONES DE DOS VARIABLES (MPF).
1.1 INTRODUCCIN.
Los sistemas de numeracin cuya base es mayor a dos (ternario, cuaternario,

etc.) tienen mayor contenido de informacin en bits por dgito que un sistema de
numeracin binario, portante en los ltimos aos se han realizado varios estudios
para aplicar esos sistemas de numeracin en circuitos electrnicos. Las lgicas
polivalentes (o lgicas multi-valuadas) son lgicas que admiten ms de dos
valores de verdad y el conjunto de estos valores puede ser finito o infinito,
adems el significado de stos depende de la aplicacin. El conjunto de valores
de verdad esta asociado con la base dei sistema de numeracin.
La lgica y algoritmos actuales son generamente basados sobre dos valores,

verdadero o falso, o si o no. Sin embargo existen condiciones en las cuales es
imposible o intil decidir si algo es verdadero o falso. Por ejemplo, una sea! en
un circuito lgico binario, a cuaf toma ios estados lgicos 0L 1i_, cambia de 0L a
1L o de 1L a OL en una transicin de estado; en la transicin es imposible decidir si
es OL 1L. E! estado inicial de circuitos secunciales es otro ejemplo donde es
difcil conocer s el valor es 0L 1L- Las lgicas mult-valuadas ayudan a resolver
estos inconvenientes ya que poseen ms de dos estados lgicos.
Uno de los mayores problemas actualmente en sistemas binarios de dos niveles

es la complejidad de interconexin dentro de los chps y entre chps, y portante, el
desempeo est limitado por las interconexiones, las cuales ocupan un rea
grande; por ejemplo, en un circuito con tecnologa VLSI binaria, 70% del rea esta
dedicado a interconexiones, 20% a aislamiento y 10% al dispositivo. En sistemas
con lgica multi-valuada, este problema puede ser sustancialmene reducido,
incrementndose el espacio disponible para los distintos mdulos que forman un
circuito.
Aunque la tecnologa multi-valuada ha avanzado rpidamente y se han

desarrollado varias tcnicas para el diseo de circuitos electrnicos, no hay una
tcnica que permita el diseo e implementacin de circuitos a gran escala
utilizando estas lgicas.
2
Existen varias lgicas polivalentes como la lgica de Lukasiewicz, la lgica de

Kleene, la lgica de Post, entre otras, que han sido desarrolladas desde varios
puntos de vista. Por ejemplo, la lgica de Lukasiewicz es filosfica mientras la
lgica de Post tiene una tendencia algortmica y algebraica.
Las lgicas multi-valuadas estn asociadas a funciones multi-valuadas, que son

funciones discretas cuyas variables de entrada y salida toman dos o ms valores
de verdad. Formalmente, una funcin multi-valuada de n variables f(Xi,..., xn) es
una funcin de la forma:
(1.1)
las variables x toman valores del conjunto pr- = {O, 1, 2,..., p^}, p > 1,
i e {1, 2,..., n} que representan los p/ valores que la variable / puede asumir.
/ - 1, 2,..., n son enteros positivos y representan el nmero de valores de cada
n variable. La funcin f toma sus valores del conjunto M = {O, 1, 2,..., m-1}, m>1.
Si / = 3 se tiene un sistema lgico ternario, las variables x/ toman valores del

conjunto p = {O, 1, 2} y se obtiene la siguiente funcin:
(1.2)
La integridad funcional, y representacin de funciones lgicas ternarias ha sido

investigada por algn tiempo; en lgica ternaria se tienen varias clases de
funciones, por ejemplo funciones lgicas regulares, funciones lgicas B-ternarias,
entre otras.
Cuando se aplican funciones lgicas temaras a varios campos de la ingeniera,

raramente se usa todas las funciones lgicas, a menudo se utilizan subconjuntos
que tienen propiedades especiales.
El lenguaje formal para sistemas de lgica ternaria sigue los modelos estndares
de a lgica de proposiciones y de la lgica de predicados,
La lgica preposicional estudia los principios para determinar la validez de
argumentos conformados con proposiciones. Las proposiciones pueden tomar
valores de verdad, dentro de un conjunto definido de valores posibles. Ejemplo:
Las montaas cantan bonito (proposicin falsa)

5 es impar (proposicin verdadera)
A partir de proposiciones simples (o tomos) se pueden obtener proposiciones

ms complejas (proposiciones compuestas) utilizando conectivos y ciertas reglas
sintcticas para conseguir proposiciones bien formadas. Entre los conectivos
tenemos: negacin, conjuncin, disyuncin fndusrva, disyuncin exclusiva,
condicional, bicondcional, entre otras.
Una proposicin bien formada cumple las siguientes reglas:
i. Toda variable proposiciona! es una proposicin bien formada.

ii. Una proposicin bien formada precedida de la negacin es una proposicin
bien formada,
iii. Dos proposiciones bien formadas unidas por una conectiva, constituye una
proposicin bien formada.
La lgica de predicados de primer orden mejora la lgica proposicional. Est

basada en la idea de que las sentencias realmente expresan relaciones entre
objetos, as como tambin cualidades y atributos de tales objetos. Los objetos
pueden ser personas, objetos fsicos o conceptos. Tales cualidades, relaciones o
atributos se denominan predicados o frmulas. Los objetos se conocen como
argumentos o trminos del predicado. Los argumentos pueden ser constantes o
variables, por ejemplo:
Igual (x, z): Evala e! valor de verdad de la expresin x = z.

igual ( ) es la frmula, x y z son los argumentos.
Blanco (p): Evala el valor de verdad de la expresin p es blanco.
Blanco () es el predicado, p es el argumento.
Los predicados tienen un valor de verdad, pero a diferencia de las proposiciones,
su valor de verdad depende de sus trminos; es decir, un predicado puede ser
verdadero para un conjunto de trminos, pero falso para otros.
En el clculo de predicados se tienen: cuantrficadores (universal y existencia!),

funciones (uara, binara, temara, n-ara), smbolos de funciones (f, g, /7,...),
smbolos de predicados (P, Q, ?,---). smbolos de variables y constantes,
conectivos ( , f\, \l , -+, <->, entre otrosj,
A continuacin se dan varios ejemplos de smbolos:
SMBOLOS DE FUNCIN
mas(x, y) (suma de x + y)
padre(x) (padre de x)
SMBOLOS DE PREDICADOS
MAYOR (ms(x, 1),x) (el mayor de los trminos correspondientes a
x+1 y 1)
CONSTANTES
Casa, Mara
SMBOLOS DE VARIABLES
En una frmula o predicado las variables pueden ser libres o ligadas. Una
ocurrencia de una variable x en una frmula A, es ligada (o es una variable
ligada), si la ocurrencia se da en un cuantificador Vx o 3x, o en el alcance de un
cuantificador Vx o 3x (con la misma x); caso contrario, se dice que es libre (o
que es una variable libre), por ejemplo:
(\fx) P(x, y) x es ligada, y es libre

(Vx)R(x, y) VfVyjQfyJ y es libre y ligada
Se tienen frmulas lgicas bien formadas (WFF) si se cumple:

i. Un predicado es una WFF1 con todas sus ocurrencias de variables libres,
ii. Si F y G son l/VFF's, entonces tambin son WFF's si se usa conectivos y
sus ocurrencias de variables son libres o ligadas segn sean libres o
ligadas en las subfrmulas: F, (F \/G), (F A G), (F-* G), (F ++ G).
i. Si F es una WFF y x es una variable que aparece como libre en F,
entonces tambin son WFF's si se usa cuantificadores donde la variable x
aparece como ligada.
Cuantificador existencia!; Bx(F)

Cuantficador universal: \/x(F)
Las distintas lgicas ternarias se basan en dos o ms definiciones semnticas a

partir de las cules se desarrollan definiciones sintcticas para obtener un sistema
lgico completo; semntica es el estudio del significado de los signos lingsticos,
esto es, palabras, expresiones y oraciones. La finalidad de la semntica es
establecer el significado de los signos, lo que significan dentro del proceso que
asigna tales significados.
Hay dos clases de semnticas:

1. Matrices lgicas estndar, y
2. Semntica algebraica.
La matriz lgica estndar (o matriz lgica caracterstica) se utiliza para

determinar:
Conjunto de grados de verdad.

Grado de verdad de las funciones que interpretan los conectivos
preposicionales.
Significado de los grados de verdad constantes.
Interpretacin semntica de los cuantrfcadores, y adicionalmente,
1 WFF son las siglas de WeIJ-fonmed logic Formula (frmula lgica bien formada).
Grados de verdad destacados, que forman un subconjunto del conjunto de
grados de verdad.
Con matrices lgicas se tienen frmulas lgicas bien formadas, que cumplen las
mismas condiciones establecidas para la lgica proposicional y a lgica de
predicados de primer orden.
La semntica algebraica esta basada en estructuras algebraicas que deben

proporcionar todos los datos que tienen que ser mantenidos por una matriz lgica
caracterstica. La validez de una frmula A con respecto a una estructura
algebraica de clase K est definida como s esta estructura formara una matriz
lgica. Por ejemplo, la lgica infinito valente de Lukasiewicz se caracteriza por la
clase de MV-lgebras de Lukasiewicz.
Desde un punto de vista filosfico es preferible usar matrices lgicas

caractersticas; sin embargo, desde un punto de vista formal ambos son
importantes, y la semntica algebraica es ms general. En este captulo se usa
indistintamente tanto matrices lgicas como semntica algebraica en el desarrollo
de las distintas lgicas ternarias.
1.2 VENTAJAS Y DESVENTAJAS DE LA LGICA TERNARIA.
Ventajas:
Una ventaja obvia de la representacin de datos ternarios (datos multi-valuados)

es su potencial para reducir el nmero de lneas requeridas para la transmisin de
grandes cantidades de datos debido al alto contenido de informacin que va por
las lneas.
Para los circuitos integrados binarios se han resuelto problemas como la

interconexin (en chips y entre chips), empaquetado y refrigeracin. El
Tuteamiento de interconexiones en los chips es el mayor problema, es as, que el
rea de silicio usada para las interconexiones es mayor que el rea usada para
los elementos activos lgicos. El uso de lgica ternaria permite reducir la
complejidad de las interconexiones y por tanto incrementar el rea efectiva
utilizada por el dispositivo.
Densidad de
Nmero de pines empaquetamiento LSI
y VLSI
* Reducida
+ Alta
Complejidad de
interconexiones
^ Reducida
Capacidad de Complejidad de
procesamiento de hardware
datos por unidad de
rea
Reducida
^ Incrementada
Dimensin del
sistema (Complejidad
de las dimensiones) Potencia de
disipacin
^ Reducida
Reducida
Nmero de
Velocidad de
dispositivos en
procesamiento de
cascada (Complejidad datos
de tiempo)
* Alta
+ Reducida
FIG. 1.1 Ventajas potenciales de circuitos lgicos ternarios.

Se tiene una mayor densidad de informacin, portante, las implementaciones LSI
y VLSI ternarias tienen la ventaja de incrementar la capacidad de procesamiento
de datos por unidad de rea.
Se incrementa la velocidad al realizar operaciones aritmticas y se tiene mayor

eficacia en la deteccin de errores.
Los circuitos lgicos ternarios permiten que cada entrada/salida acepte o entregue
mayor informacin, por tanto el nmero de pnes es menor (esto se debe tambin
a la disminucin en la complejidad de las interconexiones).
La lgica ternaria al poseer un mayor nmero de funciones lgicas que la lgica

binaria, puede implementar un mayor nmero de aplicaciones y algoritmos ms
complejos que en sistemas binarios.
En la figura 1.1 se resumen varias ventajas potenciales de la lgica ternaria.
Desventajas:
La falta de circuitos integrados basados en lgica ternaria no permite aprovechar

todas ias potencialidades que ofrece esta lgica, por tanto las ventajas resumidas
en la figura 1.1 no son suficientes para una completa superioridad sobre circuitos
lgicos binarios.
La lgica ternaria no es compatible con la lgica binaria, dado que los dgitos
ternarios poseen mayor contenido de informacin que los binarios, al momento de
transmitir datos a sistemas binarios actuales se producen cuellos de botella ya
que los circuitos binarios no pueden procesar toda la informacin.
La gran funcionalidad de los circuitos lgicos binarios, como elementos principales

en los diferentes sistemas electrnicos y computacionales, no permiten que la
lgica ternaria avance ms rpidamente ya que no hay la demanda suficiente.
Falta de divulgacin a travs de medios especializados y accesibles, que permitan
conocer y apreciar todas las ventajas de esta lgica.
1.3 LGICA TRIVALENTE DE LUKASIEWICZ.
Jan Lukasiewicz naci en Lvov (Ucrania) el 21 de diciembre de 1878, hizo sus

primeros estudios en su ciudad natal bajo la direccin del profesor K. Twardowski
y muri en Dubln (Irlanda) el 13 de febrero de 1956, Lukasiewicz no se
consideraba matemtico sino lgico, su investigacin se centr en el campo de la
lgica matemtica. Su obra fundamental fue la creacin de las lgicas
polivalentes, incluyendo su propio sistema trivalente de clculo preposicional, y es
el responsable de la ms elegante axomatizacin de la lgica preposicional
clsica.
La primera formulacin sistemtica de una alternativa a la lgica bivaluada de

Aristteles fue realizada por Jan Lukasiewicz entre 1917 y 1920. En la lgica de
Lukasiewicz se consideran tres posibles valores para las oraciones en lugar de los
dos valores booleanos verdadero y falso de fa gca aristotelana. Al tercer valor
de verdad se lo describe con el trmino posible. Lukasiewicz asign un valor
numrico entre O y 1 al trmino posible y construy las matemticas
correspondientes a esa lgica trivalente.
Lukasiewicz explor posteriormente la posibilidad de manejar lgicas con cuatro,

cinco, y ms valores de verdad, llegando a la conclusin de que no exista
impedimento formal para la derivacin de una lgica infinito-valente. Lukasiewicz
consideraba que la lgica trivalente y fa infinrto-vafente eran las ms interesantes
desde el punto de vista de sus propiedades, si bien la tetravalente era la ms
fcilmente adaptable a los postulados aristotlicos clsicos.
El punto de vista en que se coloca Lukasiewicz es filosfico, consideraba las

lgicas polivalentes como una nueva manera de pensar que debera reemplazar a
la lgica ordinaria en ciertos campos.
10
El sistema de lgica trivalente de Lukasiewicz (L/.3), se define mediante matrices

[gicas, fue creado en relacin a la necesidad de contar con un tercer valor
apropiado para la evaluacin de las proposiciones sobre acontecimientos futuros
y para las proposiciones modales y las consecuencias que de ah se derivan, es
decir, si aceptamos que algunos acontecimientos futuros son casuales, entonces
las proposiciones que describen tales acontecimientos expresadas hoy, no
pueden ser ni verdaderas ni falsas, y debido a esto se debe tener un valor de
verdad diferente de los usuales verdadero y falso, algn valor neutral medio.
Por ejemplo: Se puede suponer sin contradiccin que mi presencia en Varsovia

en una fecha determinada del prximo ao, digamos el 31 de mayo, an no est
decidida en un sentido positivo o negativo. Por consiguiente, es posible pero no
necesario que me encuentre en Varsovia en ta( da de mes. Tomando en cuenta
esta premisa, la proposicin: Yo estar en Varsovia el 31 de mayo de! prximo
ao, no puede ser ni verdadera ni falsa. Si la proposicin fuera verdadera,
entonces m premisa en Varsovia sera necesaria (el futuro esta predeterminado),
y esto contradice la premisa; si la proposicin fuera falsa, entonces mi presencia
en Varsovia sera imposible (el futuro es Imposible), y esto tambin contradice la
premisa. Por consiguiente, la proposicin considerada no es hoy, ni verdadera ni
falsa, es un evento futuro contingente, es decir, ni necesario ni imposible. El tercer
valor puede ser designado mediante Yz,
El sistema de lgica U3, esta basado en la negacin e implicacin lgicas, que

son tomadas como primitivas a partir de las cuales se desarrollan todas las
restantes funciones necesarias para un sistema lgico completo.
Para el sistema de lgica LL3 tenemos la siguiente matriz lgica:
^=(A, D3 o1} 02,...., on) (1.3)
en donde:
A y D son conjuntos tales que D c A
* (A, 01, 02,...., on) es un lgebra, cada a es un operador (o conectivo) en A.
11
A es el conjunto de argumentos (tambin se dice que es el conjunto de valores

de verdad).
O es el conjunto de valores destacados.
La tupia (a-t, a2, o3) es el conjunto A de argumentos a/, que toman valores en el
segmento cerrado real v~ [03 1]3 esto permite definir la siguiente funcin:
f:A-^v tai que [a,-] e v/ (1.4)
El conjunto A cumple las definiciones de una frmula lgica bien formada, es

decir:
Todo argumento o variable es una frmula.

S a es una frmula, entonces ce es una frmula.
Si ai y a2 son frmulas, entonces (a-i > a2) es una frmula.
La funcin:
fj-:vf*..*vs-+vs (1.5)
777
representa una funcin de m variables y j designa el orden de la funcin en el

sistema lgico LL3.
La definicin de funciones se realiza medante tablas de verdad y mediante la

forma lineal, en ia expresin (1.6) se da un ejemplo de esta ltima,
= min {[an],..., [oinj} (1 .6)
Utilizando la notacin anterior tenemos Li3 con los principales operadores:
U3 - ({O, % 1}, {1}} , >-, mnimo, mximo) (1.7)

12
El conjunto de valores de verdad {O, Yz, 1} tiene el siguiente significado:
0 Falso
1A Posible
1 Verdadero
de la expresin (1.7) se tiene:
1. v3 = {O, 1A, 1}t con 1 como nico valor destacado.
2. f1L:v3-+v3 tal que fiL([aJ) = 1 -[a] (1.8)
f2L: v3*v3 -> v3 tal que f2V[01], [a) - mm{ 1, 1- fa] + fa} (1.9)
El conjunto de valores destacados juega un papel importante en ia determinacin

de tautologas del sistema. Para el caso del sistema de lgica /_/_3, una frmula a
es una tautologa si f([a]) - 1 para todos los valores de f,
Las tablas de verdad de las funciones fjL y f2L se indican en la tabla 1.1.
w 1
i i
i i
X i
TABLA 1.1 Tablas de verdad de f/ y
Las funciones f-jL y f2L corresponden a la negacin simtrica ( ) e implicacin (+)

trivalentes respectivamente.
Se definen otras funciones de LL3:
f3L: v3*v3 -+ v3 tal que f3L( fal [aj) = f2L(f2L([ad [oj), [oj) (1.10)
13
fj". v3 V3 -> v3 tal que f4L( [a*], [ad ) = fiL( f3L ( fiL([a-i]), rftfaj) ) ) (1.11)
o tambin:
= max{[a (1.12)
f4L(foil [ad) = min{[a (1,13)
Las tablas de verdad de las funciones f3L y f4L se indican en la tabla 1.2.
Las funciones f3L y f/ corresponden a la disyuncin (\/) y conjuncin (f\)

trivalentes respectivamente; y son anlogas a las funciones Or y And binarias.
0 I/ 1 0 V
72
1
[ailX [aiX
0 0 1 0 0 0 0
72 17
-I/ 17 0 /~)
72 72 72 72
~/
1 i 1 1 1 0
1
TABLA 1 .2 Tablas de verdad de f3L y fL4-
Las funciones fA f2L, f/y f/ se pueden expresar de la siguiente manera utilizando

los operadores , *, V y A, respectivamente;
x =1-x (1.14)
(1.15)
x V y - max (x, y) (1.16)
x A y = /r?/V? (x, yj (1.17)
Tambin se tiene:
x (1,18)
x A y = fe (1.19)
14
Las expresiones (1.18) y (1.19) son idnticas a las definiciones de f3Ly f4L, estas
expresiones estn definidas por medio de los operadores de la negacin e
implicacin.
Otras expresiones son:
=x (1.20)
x 0 y = (x Q v) = max {Q,x+y-1} (1.21)
x<-> y = (x-^y) A (y -* x) (1.22)
Las expresiones (1.20), (1.21) y (1.22) corresponden a la disyuncin fuerte,

conjuncin fuerte y bicondicional respectivamente. Las expresiones (1.20) y (1.21)
son una generalizacin natural de la disyuncin y conjuncin clsicas.
Las tablas de verdad de la disyuncin fuerte, conjuncin fuerte y bicondicional se

indican en la tabla 1.3.
x y x y xy x<->y
0 0 0 0 1
0 V2 1/2 0 1/2
0 1 1 0 0
% 0 Ya 0 1/2
y* y* 1 0 1
1/2 1 1 % 1/2
1 0 1 0 0
1 y* 1 y* %
1 1 1 1 1
TABLA 1.3 Tablas de verdad de la disyuncin fuerte,

conjuncin fuerte y condicional.
Las definiciones de fiL, f2L (definiciones semnticas) y las de f3L, f4L (definidas
sintcticamente) son distintas. Las ltimas fundones (f3L y f4L) se definen en
trminos de f-f- y f2Li mientras que las primeras dicen que valor corresponde a un
par de valores dados por f^ y f2LJ respectivamente.
15
Las definiciones de f3Ly fj~ se pueden tambin definir semnticamente como se

ndica en las expresiones (1.12) y (1.13), respectivamente.
El conjunto formado por las primeras funciones se denomina conjunto de

fundones fundamentales. El conjunto de las restantes funciones se denomina
conjunto de funciones derivadas.
El conjunto de funciones fundamentales es independiente, es decir, ninguna de

las funciones que lo constituyen se define sintcticamente mediante las restantes
funciones del conjunto dado. Por ejemplo, ei conjunto {fiL, f2L} es independiente;
mientras {fiL, f2L, f3L} no lo es, s f3L se define sintcticamente en funcin de fz~.
Un conjunto de funciones fundamentales es funcionalmente completo s y slo s

cualquier funcin del sistema se puede definir sintcticamente mediante dichas
funciones, pero L_3 con f?L y f^ como funciones fundamentales no es
funcionalmente completo, ya que medante ellas no se puede definir, por ejemplo,
la funcin de Slupecki (fsL) que se define como:
fs:L v3 -* v3 tal que fsL( [a]) = 1A (1 .23)
El conjunto {fiLt f2L} f3~} es funconalmene completo con f3L definida en forma
semntica, a partir de este conjunto se pueden definir todas las restantes
funciones para obtener un sistema completo.
Para Lukasiewicz los argumentos cr/, correspondan a variables proposicionaies

que se definen en un universo de proposiciones modales y otras sobre
acontecimientos futuros; mientras los valores 1, J4 y O son interpretados conrro
verdadero, posible y falso, respectivamente.
1.4 LGICA TRIVALENTE DE KLEENE.
Stephen Col Kleene naci el 5 de enero de 1909 en Hartford, Connecticut (USA),

su tesis de doctorado fue supervisada por Aionzo Church y se recibi como Ph.D.
16
en matemticas en la universidad de Princeton en 1934, muri el 25 de enero de

1994 en Madison, Wisconsin (USA). Desarroll la teora de funciones recursivas
conjuntamente con Church y otros; tambin contribuy al intuicionismo
matemtico.
El intuicionismo es una rama de la lgica que enfatiza que las matemticas tienen
prioridad sobre la lgica, los objetos matemticos son construidos y operados en
la mente de los matemticos, y es imposible definir las propiedades de los objetos
matemticos simplemente estableciendo un nmero de axiomas,
Kleene representa un nuevo sistema de lgica trivalente en el marco de la teora

de funciones recursivas, construyendo sus tablas de verdad en trminos de una
aplicacin matemtica.
1.4.1 FUNCIONES RECURSIVAS PARCIALES.
Se presentan algunas definiciones que facilitan la comprensin de las funciones

recursivas.
Un problema de decisin es aquel formulado por una pregunta (referida a alguna

propiedad) que requiere una respuesta de tipo usi/non. Por ejemplo, problemas de
pertenencia (o bien e o bien $).
Un problema de decisin puede ser soluble, parcialmente soluble e insouble.

Estas caractersticas se indican en la figura 1.2.
1. Un problema de decisin es soluble si existe un algoritmo total para

determinar si la propiedad es verdadera (el algoritmo siempre resuelve el
problema).
2. Un problema de decisin es parcialmente soluble si existe un algoritmo
parcial para determinar si la propiedad es verdadera.
3. Un problema de decisin es insoluble si no existe un procedimiento efectivo
para determinar si la propiedad es verdadera.
17
Problemas
de Decisin
Soluble Parcialmente Insoluble

soluble
FIG. 1,2 Problemas de Decisin.
A continuacin se dan ejemplos de problemas de decisin:
Existe un algoritmo para decidir si un nmero natural cualquiera es par?

Si, entonces es soluble.
Existe un algoritmo para determinar si una gramtica es ambigua o no?
No, entonces es nsolubie.
Un problema es algortmicamente soluble s hay algoritmos o procedimientos

mecnicos que permiten obtener la solucin del problema en cuestin, por
ejemplo, la determinacin del mximo comn divisor de dos nmeros enteros,
mediante el algoritmo de Eucldes, o te determinacin de los nmeros primos,
mediante la criba de Eratstenes.
S se define un conjunto bsico de fundones que son calculables y una regla de

clculo de funciones que proporcionar todas las funciones calculables, sern
nicamente calculables las funciones base o aquellas inferidas a travs de la
regla de clculo; si se puede demostrar que una fundn es calculable o que no es
calculable, la propiedad calculabilidad es decidlble para dicha funcin; si no se
puede demostrar, la calculabilidad de dicha funcin es ndecidb/e.
Una funcin recursiva es una funcin que se define en trminos de s misma, es

decir, en su cuerpo aparece alguna aplicacin suya. La recursividad es un
18
mecanismo que se usa cuando hay que repetir cierto tratamiento clculo, pero
el nmero de repeticiones es variable.
Funciones recursivas son aquellas funciones de Nn *- A/, de n-tuplas (xit..,t xn) de

nmeros naturales en nmeros naturales, calculables por algoritmo. Para el
anlisis de funciones recursivas se trabaja con la serie de nmeros naturales
(O, 1, 2, 3,...). Para entender las funciones recursivas parciales es necesario
definir primeramente funciones recursivas primitivas y generales.
La recursin primitiva permite definir una clase de funciones que forman un

importante paso en la formalizacin de la nocin de computabilidad; se definen
usando como principales operaciones la recursin y sustitucin de funciones y
forman un subconjunto estricto de las funciones recursivas generales. Las
funciones recursivas primitivas se definen sobre nmeros naturales o sobre tupias
de nmeros naturales.
Cada una de las ecuaciones y sistemas de ecuaciones siguientes define una

funcin recursva primitiva <p, cuando n y m son enteros positivos, / es un entero
tal que 1< i < /?, q es un nmero natural, y </;, ^1,..., x/mi x/son funciones de
nmeros naturales dadas con el indicado nmero de variables.
<p(x) =x+1 (1.24)
(p(x1f...tXn)=q (1.25)
<p(X1t . . ., X, . . ., Xn) - X (1 ,26)
,, Xn) = (/ OCSifa^Xj,-.., &fn(X1t...,Xn)) (1.27)
~<p(0) = q, paran=1. (1,28a)
<P(y+1) = ^fy, <P(Y)), Para n = 1.

19
'q>(0, X2)..., xn) = V(x2,...} xn)} para n>1 (1.28b)
<p(y+1, *2, - - ., xn) = ^y> <p(y, x2, . . ., xn), x2l . . ., xn), para n>1 .
La expresin (1.24) nos da la funcin sucesor. Las funciones dadas por la

expresin (1.25), las llamamos funciones constantes, y las designamos por Cqn. A
las funciones dadas por la expresin (1.26), las llamamos funciones de identidad,
y las designamos por U". Este tipo defunciones se denominan funciones iniciales
o bsicas.
A la expresin (1.27), la llamamos definicin de sustitucin (llamada tambin

definicin de composicin). A las expresiones (1,28a) y (1.28b), las llamamos
definicin de recursin primitiva.
Las funciones recursivas primitivas bsicas las notamos tambin de la siguiente

forma:
Funcin cero: Z; N > N (1 .29)

x y Z(x) = O (funcin de una variable)
Funcin Sucesor. S: N -* N (1 .30)
x * S(x) ~ x + 1 (funcin de una variable)
Funcin identidad o proyeccin:
Un:Nn -> N (1.31)
(x-i,..., xn) -* Un (x-i, X2,,.., Xf,..., xn) =x (funcin de n variables)
La funcin identidad de n argumentos produce como resultado su argumento de la

posicin /".
Para la definicin de composicin, expresin (1.27), tenemos la siguiente

demostracin:
Sean <// una funcin de Nm *- A/, y ;t/i, x^,.._, x^n, son m funciones de Nn > N
20
entonces la composicin de ip con ^/-i, X^,..., X/m es:
/V
1}..., X n) t, Xn) =
El esquema grfico de la definicin de composicin se indica en la figura 1 .3.
Vi = M(xi,...,xn)
X-j,..., Xn
Y i,.-., Xn)
= l|J O
FIG, 1.3 Composicin para funciones recursivas primitivas,
El conjunto de Z(xJ, S(x). Uj1^..^ xn) y todas las funciones que se pueden
obtener aplicando las definiciones de sustitucin y recursin primitiva es cerrado y
se denomina conjunto de funciones primitivas recursivas. Estas definiciones se
pueden aplicar a predicados, a partir de los cules se define la lgica trivalente,
para lo cual es necesario definir la fundn representante de un predicado.
Una funcin pfxv-., x/J es la funcin representante de un predicado P(x1}...} xn) si

<p toma solamente O y 1 como valores y satisface la equivalencia.
(1.32)
21
es decir, si los valores de P son verdadero (f) y falso (f); <p(x?J..., xn) es O cuando

P(xi,..., xn) es f, y <p(xi,..., xn) es 1 cuando P(xi,..., xn) es .
Un predicado P(x^..,f xn) es recursivo primitivo, si su funcin representante

I
<p(xif..ff xn) es recursiva primitiva. j
Los predicados:
(1.33)
V (1.34)
A R(xi,...,xn) (1.35)
(1.36)
Q(x1t...,xn) (1.37)
son recursivos primitivos en Q y FL
Kurt Gdel demostr que toda funcin recursiva primitiva es tota!. Tanto la
definicin de sustitucin como la recursin primitiva, sobre funciones totales,
calculan funciones tambin totales.
Una funcin f es total cuando Dom (f) - N"., mientras una funcin f es parcial
cuando Dom (f) c A/", por ejemplo:
f(x, y) = x +y; Dom(f) = N *A/. Entonces fes total.
Sea g: A / * N -> N
g(x, y) = x-y ; Dom (f) = {(x, y) N tal quex>yj. Entonces g es parcial.
Una funcin (p definida a partir de fundones y predicados qj-i,..., qj (brevemente

^) por aplicaciones de las expresiones (1.24) a (1.28) y de la operacin de
minimizacin es recursiva general.
22
La operacin de minimizactn (operador de mnimo nmero py) se define sin

lmite sobre la y. Para un predicado R(y) de nmeros naturales tal que 3y<z, R(y)
se tiene:
e! mnimo nmero natural y<z tal que R(y) sea verdadero.

jyR(y) =- (1.38)
en otro caso z.
y, z son nmeros naturales.
Por el momento, se usa pyR(y) slo cuando la condicin de existencia E3y<z, R(y)
est realizada. De este modo, se tiene una nueva definicin para funciones
recursivas.
Dada la funcin representante de R(y)} jc/(y3 x^,..., xn) de n+1 variables, la
operacin py genera una nueva fundn de n variables cp(x-i,..., xn) de la siguiente

forma:
Para una /7-tupla fa,..., xn) el valor de|la fundn (p es el mnimo valor natural de y
tal que &(Q, x^.^x^W, x-t,..., xn)} fj Xi,..,3 xn) estn todas definidas y
}c/(yr xi,..., xn) = 1, es dedr:
..., Xn) = M[&(y, Xi,..., Xn) = (1.39)
tal que:
(1.40)
Tomando R(y, x1t..., xn) = Xi,.-., xn) ~ 1, y Acorn la funcin representante
de R se tiene que:
. -., xn) = py R(y, Xi, -.., xn) (1.41)

23
como una definicin de una funcin <p a partir de un predicado R tai que:
,, xn)\(By) R(y, x-i,..., xn) (1.42)
Puede que sea imposible extender la definicin de uyR(x3y) a todos los nmeros
naturales, por tanto, es necesario una nueva dase de funciones que sean
incompletamente definidas, denominando a esta clase de funciones resultante las
funciones recursivas parciales.
Una funcin parcial es una funcin de cualquier subconjunto (propio o impropio)

de n-tuplas de nmeros naturales a ids nmeros naturales; es decir, una funcin
parcial (xi,..., xn) como valor.
i
A continuacin se dan las siguientes consideraciones:
Para una n-tupla Xi,..., xn, con respecto al cual tenga (o (p(xi,~.., xn)) es no definida.
El rango de definicin de una funcin parcial es el conjunto de las n-tuplas
Xi,..., xn para los cuales (pfai,..., xn) les definida,
i
Cuando este conjunto consta de todos las n-tuplas tenemos una funcin de
nmeros naturales ordinaria o completamente definida] caso contrario, una
i
funcin incompletamente definida.
Cuando ese conjunto es vaco, tenemos la funcin completamente no definida.
Una funcin es parcial recursiva s ocurre alguno de los siguientes casos
es recursiva primitiva bsica

es composicin de funciones parciales recursivas
es recursin primitiva de funciones parciales recursivas
24
iv) est construida mediante la aplicacin del operador p a una funcin cp

total y parcial recursiva.
Las funciones recursivas parciales incluyen a las funciones recursivas generales,

y stas a su vez a las funciones recursivas primitivas, como a aquellas para las
cuales el rango de definicin comprende todos las /7-tuplas x-i,..., xn de nmeros
naturales. Esto se indica en la figura 1 4.
Recursivas parciales
Recursivas generales
Recursjvas Primitivas
Recursivas
primitivas bsicas
FIG. 1.4 Tipo de funciones recursivas.
Cuando R(XI,..., xn, y) es un predicado recursivo general, la funcin parcial

uyR(xi,...} xn, y) (definida si y solamente si 3yR(xi,..., xn, y)) es recursiva parcial.
Dadas las siguientes funciones parciales î,...,^m , V, consideramos a
ifjfîfxf,..., Xn),... jc/mfo,..., x^) como definidas cuando y solamente cuando

i
j&i (Xi,..., Xn),..., J/m (xi, ,.~, xn) sean todas definidas y sus valores constituyen una
m-tupla para el cual sea definida | yj, esto constituye el sentido dbil de
<// (t/1 (Xi,..., Xn),..., X/m(Xl,-~, *n))-
Los predicados parciales utilizan idntica convencin. Por ejemplo si se introduce
por sustitucin las funciones parciales (//fx?,___, xn) y MXf,___, xn) en el predicado
25
completamente definido y-/ obtenemos un predicado parcial
/7 (X1f..., Xn) = ^(X1}..., Xn).
Este predicado es definido, para x^..., xn dadas, si y solamente si <// y je/ son
definidas. El predicado toma como valor una proposicin verdadera si ip y }
tienen el mismo valor, y una proposicin falsa si (J y }/ tienen valores diferentes.
De modo similar, si se introduce fcor sustitucin los predicados parciales

Qfat,..., xn) y R(Xi,...3 xn) en la funcin Y? = Y2 (equivalencia), obtenemos un
s
predicado parcial Q(xi,..., xn) ^R(x-}f... xn) definido siy solamente si Q(xi,..., xn) y
R(xi, . . ., xn) son definidos, en cuyo caso el predicado obtenido afirma la

equivalencia de dos proposiciones, siendo verdadero o falso segn que esas dos
proposiciones sean equivalentes o no.
i,..., xn) ~ ^Xi,,.._, xn) se utiliza para expresar, para x^..., xn particulares, que
si una de las funciones ijj(xi,..., xn) y )(Xifr xn) es definida, tambin lo es la otra
y los valores son los mismos. Tambir^ si una de las dos funciones tfj(xi,..., xn) y
i,~-* xn) es no definida, tambin es a otra.
La diferencia en el significado de:
. l|j(XiI...IXn)=
surge cuando una de las funciones es no definida. Entonces (i) es no definido,

mientras (T) es verdadero o falso segn que el otro sea o no definido. Se distingue
entre = y -como igualdad dbil y completa, respectivamente.
As mismo Q(Xi,..., xn) = R(xl3..., xn) expresa, para Xi,...3 xn particulares, que si
uno de los predicados Q(Xi,, xn) y R( ,, xn) es definido, tambin lo es el otro y
26
los dos son proposiciones equivalentes (y por tanto, si uno de los dos es no
definido, tambin lo es el otro) Se distingue entre = y = como equivalencia dbil y
i
completa, respectivamente.
Ahora bien, (x1)...(xn) [ yfa,, xn) ~ ,..., Xn)], O Vfa,..., Xn) - frfa,..., Xn),
cuando Xt,..., xn comparten la interpretadion de generalidad, expresan que (/; y c
son iguales como funciones, es decir, ienen el mismo rango de definicin, y sobre
este rango comn coinciden en valor.
Similarmente, ,..., xn) = Rfa,..., xn)], o Qfa,..., xn) = R(x1t..., xn),

bajo la interpretacin de generalidad ( i,..., xn, expresan que Q y R son iguales
como predicados.
Una funcin parcial q>(x^..^ xn) es a fundn representante de un predicado

P(x1}..., xn), si cp(xv., xn) toma como valores solamente a O y 1 y
P(x1}..., xn) = cp(xrj..., xn)= 1; es decir, si el valor de P(xi,..., xn) es t, fo u, el de
cp(x/ J ... ; xês 1, O u.
Una funcin parcial (p o predicado parcial P es recursivo parcial en predicados y

i
funciones V, si es vlida Ja asercin correspondiente que surge al reemplazar los
predicados que figuran en P y ^ por sus funciones representantes.
El papel de los predicados de Igualdad = y - es diferente. La igualdad dbil = sirve

como operacin para construir predicados recursivos parciales. La expresin
yj(xi,..., xn) = )ts(xi,..., xn) es recursvo parcial en </y en x/. La igualdad completa
- es utilizada para dar expresin a la teora acerca de funciones recursivas
parciales. El predicado (j/(x?,..v xn) - {x-t,..., xn) no es siempre recursvo parcial
cuando (j y )& son recursivas parciales. Observaciones similares se tienen para =

27
Las funciones y predicados que son recursivos primitivos, son recursivos

generales y por tanto, recursivos parciales, as tenemos que los predicados dados
por las expresiones (1.33) a (1.37) son recursivos parciales.
1.4.2 LGICA TRIVALENTE.
Para esta lgica se introduce nuevos Asentidos de las conectivas preposicionales,

donde Q(x)\/R(x) ser definido en algunos casos en los que Q(x) o R(x) sean no
definidos.
Para las tablas de verdad se utilizan tres valores (verdadero, falso y no definido)
para describir ios sentidos que ahora tienen las conectivas.
no definido
Desde el punto de vista intuicionista, se recurre a la lgica clsica bivalente al

hacer uso de las conectivas para la construccin de predicados recursivos
primitivos y generales, puesto que, para todo predicado recursivo general, hay un
procedimiento decisorio; es decir, est demostrado intucionistamente que la ley
del tercero excluido se aplica a predicados recursivos generales. La ley de tercero
excluido dice que, para cada x, Q(x) es o to f
Ahora bien, si Q(x) es un predicado recursivo parcial, hay un procedimiento

decisorio para Q(x) sobre su rango de definicin, y as la ley de tercero excluido
se aplica intuicionistamente sobre dicho rango de definicin. Pero puede que no
haya un algoritmo para decidir, dado x, si Q(x) es definido o no. Por tanto, slo
desde el punto de vista clsico, pero no desde el intuicionista, poseemos una ley
de cuarto excluido que dice que, para cada x, Q(x) es o t, o f, o u. De este modo,
el tercer valor de verdad u no guarda semejanza con los otros valores de verdad t
yf-
28
Si Q(x)\/R(x) es (uniformemente) recursivo primitivo o parcial en Q y R, se afirma

la existencia de un algoritmo para obtener el valor de verdad de Q(x)\/R(x) a
partir de los de Q(x) y R(x). A su vez, en el caso parcial u tendr un estado
diferente del de ty f.
Supngase que se selecciona una tabla de verdad para QVf?, de suerte que
Q(x)VR(x) sea (uniformemente) recursivo parcial en Q y R Si se discute
i
heursticamente, identificando recursi\/idad parcial con decidibilidad efectiva, se
pregunta si se puede decidir mediante un algoritmo si, dado xt Q(x)VR(x) es t o f
(si es definido), partiendo de la informacin de que Q(x) y R(x) son t o son f (si
son definidos). La informacin de que Q(x) es t no es utilizable por el algoritmo; u
significa tan slo la ausencia de informacin de que Q(x) es to es f.
Si en el caso que Q(x) sea , el a goritmo da, por ejemplo, t como valor a
Q(x)VR(x), la decisin para llegar a tal resultado (para los x y R(x) dados) no
debe haber dependido de la informacin acerca de Q(x) (puesto que no haba
ninguna al respecto que fuese disponible). En particular, si se cambiase el valor
de Q(x) a toa f, sin cambiar el de R(x}, se llegara tambin a idntica decisin.
La misma conclusin se obtiene si, en lugar de ello, suponemos simplemente que

Q(x)VR(x) es recursivo parcial siempre que Q y R sean recursivos parciales; en
general, un algoritmo para Q(x)VR(x) tendr acceso a informacin acerca de Q(x)
y R(x) slo por el uso de algoritmos para Q(x) y R(x) que estn incorporados en
l. Una decisin alcanzada por aplicacin del algoritmo para Q(x)\/R(x), por
ejemplo, que t es el valor, debe haberse basado en informacin acerca de Q(x) y
acerca de R(x).
Si Q(x) es realmente u, no podremos averiguarlo prosiguiendo el algoritmo, sino

en todo caso, y tan slo, por cualquier otro medio, como por algn razonamiento
metaterco acerca de! algoritmo. Para ciertos Q especiales, podramos recurrir a
29
otro algoritmo que nos dijese tambin cundo Q(x) es u, pero esto no puede
hacerse en general; as pues, si cuando Q(x) es a, Q(x)\/R(x) recibe el valor *, la

decisin debe (en el caso general) haber sido obtenida ignorando el valor de
verdad de Q(x), y contemplando la posibilidad de que pueda hallarse que Q(x) es t
o es f.
Al objeto de que las conectivas preposicionales sean operaciones recursivas

parciales (o, al menos, produzcan predicados recursivos parciales cuando se las
i
aplique a predicados recursivos parciales), se eligen tablas que sean regulares,
en el siguiente sentido: Una columna (fila) dada contiene *en la fila (columna) de
j
la u, solamente si la columna (fila) consta enteramente de casos de *'s; y
similarmente en lo que respecta a f.
Cuando se extiende las expresiones (1.33) (1.37) desde la recursividad primitiva

a la parcial, se utiliza las conectivas preposicionales en sus sentidos dbiles, que
son descritos por tablas trivalentes dbiles obtenidas de las tablas clsicas
bivalentes. Tales tablas son trivalment regulares.
\,X. \.X- / \ ^
Q 2 R u. t R f U. t
f
a
t
u
Q f
u.
f
U.
u.
u.
t
t
Q f f
u f
f f
u. u.
t f t t t t t f u t
Q->R
R f u i R f U t
Q f t t t Q f * f
u u u t U. u. u u.
t f "* t f *
TABLA 1.4 Tablas de verdad de Kleene en sus sentidos fuertes.

30
Los sentidos fuertes de las conectivas proposicionaies estn descritos por las
tablas fuertes de Kleene y se indican en la tabla 1.4; t, fy a se pueden reemplazar
por los valores 1, O y 1/, respectivamente.
De estas tablas, las correspondientes a V T A y difieren de las tablas dbiles,

estas tablas fuertes estn determinadas de modo nico como las extensiones
regulares de mayor fuerza posible de las tablas clsicas bivalentes, es decir, son
regulares y tienen una t o una f en cada posicin donde cualquier extensin
regular de las tablas bivalentes pueda tener una t o una f (si t o f estn
determinadas de modo nico).
En la tabla 1.5 se indican ejemplos de tablas irregulares.
Q=R
R f a t R f u t R f t t
Q f t t t Q f t f Q f t f f
U. U. t t u. u. t u u. f * f
t
f u. t t f u. t t f f '
TABLA 1.5 Tablas irregulares de Kleene.
Las tablas de Q > _R y Q = LR (Tabla 1.5) coinciden con la implicacin y

bicondicionai de la lgica trivalente de Lukasiewtcz.
Para las definiciones de operaciones recursivas parciales, t, f, u han de ser

susceptibles de admitir junto a los significados verdadero, falso, no definido,
respectivamente, otros distintos como verdadero, falso, no conocido (o valor
diferente). No conocido es una categora dentro de la cual podemos considerar
que cae cualquier proposicin, cuyo valor o bien no es conocido, o bien
preferimos, de momento, no considerarlo; sin que ello excluya entonces las otras
posibilidades, verdadero y falso.
31
La lgica trivalente fuerte puede ser aplicada a predicados completamente

definidos Q(x) y R(x)t a partir de los! cuales se forman predicados compuestos
mediante el uso de ~ V, A, , = en los usuales significados bivalentes de la
i
manera siguiente:
1. Supngase que hay algoritmos fijos que deciden la verdad o falsedad de

Q(x) y de R(x)} cada uno de ellos sobre un conjunto de los nmeros
naturales.
2. Supngase que *, ft a significan: decidible por los algoritmos (esto es, por el
uso de slo aquella .informacin acerca de Q(x) y R(x) que pueda ser
obtenida por los algoritmos) que es verdadero, decidible por los algoritmos
que es falso, indecidible por los algoritmos s es verdadero o falso.
3, Supngase un estado fijo de conocimiento acerca de Q(x) y R(x).

Asignemos a *, fi u el significado de conocido que es verdadero, conocido
que es falso, no conocido s es verdadero o falso.
Las expresiones de la lgica bivalente:
QA R = (1.43)
(1.44)
Q =R = A (1.45)
son vlidas, esto se demuestra construyendo las tablas para los miembros de la
derecha, y comparndolas con las tablas dadas para los miembros de la
izquierda.
Para las expresiones (1.43), (1.44) y (1.45) s uno de los miembros es definido, el
otro tambin lo es y tiene el mismo valor (como afirma =), usando ia ley de tercero
excluido sobre los rangos de definicin
32
1.5 LGICA TRIVALENTE DE POST.
Em Post naci en Polonia el 11 de febrero de 1897 y muri en New York (USA)

el 21 de Abril de 1954. El sistema de Emil Post fue presentado por primera vez en
1921, y a diferencia del sistema LL, Post parte de consideraciones puramente
i
formales, tiene una tendencia logartmica y algebraica, y formula una lgica
n valente que puede ser considerada para muchas de sus funciones como una
generalizacin de la lgica bivalente.
La caracterstica principal de este sistema es la presencia de dos tipos de

negaciones; la negacin simtrica y la negacin cclica. Post admite ms de un
influyen en la definicin de tautologas del
sistema.
Para el sistema de lgica trivalente de Post, LP3r la definicin de funciones se har

mediante el mtodo de tablas de verdad y mediante la forma lineal. La funcin
ff~: v representa una funcin de m variables,
Mediante la notacin de matriz lgica, el sistema de lgica Lp3 se representa de la

siguiente manera:
= ({I, 2, 3), {1,2}, j *, min, max) (1.46)
de donde:
1. vs - {1, 2, 3}. Estos valores corresponden a verdadero, indeterminado y falso,

respectivamente. El conjunto de valores destacados es {1, 2}.
[o] + l
2. f-i : v3 -> vs tai que ff ([o]) = (1.47)
*' [a] ~
o tambin f-f ([a]) = ([a] + 1)m0dn, n =

33
p.: v3*v3 -> v3 tal que (1.48)

flor*/,fad)= /"'" f at GTa/7
hp.: v3 tal que f3p ([a]) =n + 1-[a] (1.49)
f4:P.: V3*v3 -^ v3 tal que f max (1,50)
i si
f/: tal que (1,51)
[a2] xi
fep: v3*v3 > 1/3 tal que f6p ([i], [a2]) -' s (1.52)
fip y ff constituyen el conjunto defunciones fundamentales de Lp3, se denominan

i
negacin cclica y disyuncin, respectivamente. Este sistema es funcionalmente
completo.
Las funciones f3p, f4pj fsp y ff se denominan negacin simtrica, conjuncin,

implicacin (estndar) y equivalencia alternativa respectivamente.
i
Las tablas de verdad correspondientes a las funciones anteriores se indican en
las tablas 1.6, 1.7 y 1.8. i
^ M
wi fiP[<*\ M\
i
1 2 o
1 1 1
2 3 ^ 1 2 2
3 1 j 1 2 3
TABLA 1.6 Tablas de verdad de ff y f2p.
P
4 M
/3PH Qnl'X^ 1 2 *>
1 1 1 2 3
2 2 2 2 2 3
3 3 3 3
TABLA 1,7 Tablas de verdad de f3p y f/.

34
f/- M fe [aj
[ad" X 1 2 3 [anfX^ 1 2 3
1 1 2 3 1 1 3 3
o
2 1 1 J 2 3 1 3
3 1 1 1 3 3 3 1
TABLA 1.8 Tablas fsP y fe .
1.6 LGICA TRIVALENTE DE BOCHVAR.
E! sistema de lgica trivalente de Bocrjvar, Le3, tienen como finalidad el anlisis y

solucin de las llamadas paradojas matemticas de Russell y Weyl, sobre la base
de la demostracin formal de la absurdidad de determinadas proposiciones
I
llamadas proposiciones sin sentido.
Las proposiciones con sentido son aquellas a las que se les puede atribuir un
valor verdadero o falso (^-proposiciones). Las proposiciones que no tienen
sentido son aquellas a las que no se les pueden atribuir estos valores de verdad
(y-proposiciones).
Una de las caractersticas que hace diferente a este sistema es que en el mismo
existen funciones de forma interna y de forma externa, las funciones de ia forma
!
interna se notan como i-funciones, mientras las funciones de la forma externa se

notan como e-funciones; segn Bochvar, las proposiciones como negaciones,
i
implicaciones, conjunciones, disyunciones, etc. son equivalentes a las
(3-proposiciones. Sus diferencias se presentan en relacin con las
y-proposiciones, en el sentido de que cuando se sustituyen las variables
proposicionales en las frmulas por lina -y-proposicin, en el caso de la forma
i
interna se obtiene una proposicin sin sentido, mientras que en el caso de la
forma externa no.
Para este sistema se realiza una construccin similar a los sistemas de lgica
trivalente de Lukasiewicz y Post, es decir, la definicin de funciones se har
mediante el mtodo de tablas de verdad y mediante la forma lineal. As tenemos:
35
1. v3 - {1, 2, 3), estos valores corresponden a verdadero, absurdo y falso

respectivamente.
2. 7) tal que /f-, r/o/J-4-a (1.53)
tal que
B r i si [Q]=I (1.54)
f/: v3 -> v3
L3 e/? 0/7*0 caso
f 1 / [a] = 3
f3B: ta! que e fa ([o]) - i (1.55)
L_3 en airo caso
tal que ,-f/ flat7, /as/; = max {fal [a $ (1.56)
Estas funciones constituyen el conjunto de funciones fundamentales. Se

denominan respectivamente: -negacin, e-afirmacin, e-negacin e -conjuncin.
B.
v3 tal que f/ , ifi*([ad))) (1-57)
/fe 8 : v3 tal que f6B (1.58)
fB.
\n v3 tal que fj3 ''(faltad), itfttad,
(1.59)
v3 tal que cf8E
fB.
e/9 - v3 tal que ef9 (1.61)
j- v3 tal que ef^0B (fa], (1.62)
GfnB: V3*v3 -> v3 tal que ', fat ;

(1.63)
B.
tal que
- / f / f efs s C/brt/, ffad))) (1-64)
36
-.fi3B- v3 > v3 tal que ef13B ([o]) l> (if/(*f*B da]) , cf3B([o]))) (1,65)
s. v3 tal que Cf143 ([a]) - (1.66)
Las expresiones (1.57) a (1.66) se jdenominan respectivamente: -disyuncin,

-implicacin, -equivalencia, e-conjunctn, e-disyuncin, e-impllcacn,
\ e-equivaiencia no clasica, funcin de Bochvary negac
de la afirmacin exterior.
Las tablas de verdad de las funciones anteriores se indican en las tablas 1.9 y

1.10.
fB fB fB f B
e f111B
[ai] fad i 14 i 5 1*6
/s
/7 e*8
fB
e/9 eflO
f B
e 12
1 1 1 1 1 1 1 1 1 1 1
1 2 2 1 2 2 3 1 3 3 3
1 3 3 1 3 3 3 1 3 3 3
2 1 2 1 1 2 3 1 1 3 3
2 2 2 2 2 2 3 3 .1 1 3
2 3 3 2 2 2 3 3 1 1 3
3 1 3 1 1 3 3 1 1 3 3
3 2 3 2 1 2 3 3 1 1 3
3 3 3 3 1 1 3 3 1 1 3
TABLA 1.9. Funciones trivalentes de Bochvar de dos variables.
i f11B fB fB f B f e
la] e'2j e 13 e 113 el U
1 3 1 3 3 3
2 2 3 3 1 1
3 1 3 1 3 1
TABLA 1.10. Funciones trivalentes de Bochvar de una variable.
1.7 LGICA TRIVALENTE DE BEICHENBACH.
Hans Reichenbach naci en Hamburc (Alemania) el 26 de septiembre de 1891,

muri en Los ngeles, California el 9 de abril de 1953.
37
Esta lgica fue desarrollada para ser utilizada en el anlisis de algunos problemas
relacionados con la fsica y en particular con la mecnica cuntica; Reichenbach
consideraba que la lgica es solanriente un medio de perfeccionamiento del
lenguaje de la ciencia y no un reflejo de algunas propiedades generales de alguna
esfera de la realidad.
El sistema trivalente de lgica trivalente Reichenbach, LR3, utiliza la versin

trivalente de varas funciones de Pqst como la negacin cclica, la negacin
simtrica, la equivalencia estndar, etc.
Para el sistema de lgica LR3 tenemos:
1- v3 = {1, 2, 3} que se interpretan como verdadero, duda o inceridumbre y falso,

respectivamente. El valor destacado es 1.
2. Algunas funciones son:
si
(1.67)
(1.68)
2 si [a]=l
(1.69)
1 si
(1.70)
fsR([ai]t [02]) = min {[a,], (1.71)
(1.72)
2] si [or,]=l
fr*([aij, [02]) = (1.73)
i si
, r n J M ^ [ail=1
',/aaf;=H ; - J . ^ 1J (1.74)
L2 / [a,]^l
38
'
], [02]) = (1.75)
1 si [a, ]=[<*,]
(1,76)
3 s
Estas funciones se denominan: negacin cclica, negacin simtrica, negacin

completa, conjuncin, disyuncin, implicacin estndar, implicacin alternativa,
cuasimpiicacin, equivalencia estandarizada, equivalencia alternativa,
respectivamente.
Las tablas de verdad correspondientes a las funciones anteriores se indican en

las tablas 1.11 y 1.12.
fnR f2* fa*

1 2 3 2
2 3 2 1
3 1 1 1
TABLA 1.12 Funciones trivalentes de Reichenbach de una variable.
[01] [aj f4R f5R fe* /7* fs* f9R f R

10
1 1 1 1 -| 1 1 1 1
1 2 2 1 2 2 2 2 3
1 3 3 1 3 3 3 3 3
2 1 2 1 1 1 2 2 3
2 2 2 2 1 1 2 2 1
2 3 3 2 3 1 2 3 3
3 1 3 1 1 1 2 3 3
3 2 3 2 1 1 : 2 3 3
3 3 3 3 1 ' 1 2 3 1
TABLA 1.11 Funciones trivalen es de Reichenbach de dos variables.
El valor de ncertidumbre se utiliza cuando no se puede comprobar la veracidad o

falsedad de las proposiciones. Entre este tipo de proposiciones se encuentran
aquellas relacionadas con los objetos no observables.
39
1.8 COMPARACIN NTRELAS LGICAS TERNARIAS.
i
En este captulo se consideran variad lgicas ternarias que han dado lugar al
desarrollo de circuitos ternarios, particularmente la lgica de Post que fue una de
las primeras lgicas aplicadas a sistemas ternarios; Zadeh utiliz algunas
consideraciones de la lgica de Luklasewcz para desarrollar la lgica difusa
actualmente muy utilizada en el campq de control automtico.
Las lgicas ternarias se han planteado para estudiar diferentes aspectos, as

tenemos que la lgica de Lukasiewicz ha partido de la necesidad de evaluar
proposiciones sobre acontecimientos futuros, la lgica de Post de consideraciones
puramente formales, la lgica de Bochvar tiene como finalidad el anlisis y
solucin de paradojas matemticas de Russell y Weyl, la lgica de Reichenbach
analiza algunos problemas relacionados con la mecnica cuntica.
Las lgicas ternarias tienen tres valores de verdad, cada uno de los cuales tiene
asignado un valor numrico, los valo "es de verdad verdadero y falso tienen el
mismo significado de la lgica binaria. La interpretacin del tercer valor de verdad
en las diferentes lgicas no es el mismo, as por ejemplo en la lgica de
Lukasiewicz este valor indica posibilidad,, mientras en las otras lgicas indica un
valor no definido o indeterminado.
La lgica ternaria de Post tiene dos valores destacados, mientras las otras lgicas
ternarias, consideradas en este proyecto, tienen un solo valor destacado que
influye en las tautologas de los sistemas lgicos.
Todas las lgicas establecen sus propiedades y funciones a partir de un conjunto

de funciones fundamentales, este conjunto no es el mismo; adems, algunas
funciones como la disyuncin, conjjncin y negacin mantienen la misma
definicin en las diferentes lgicas estudiadas en este proyecto.
Dado que el nmero de funciones lgicas ternarias de dos variables es muy

grande, en este captulo se han de inido nicamente aquellas funciones que
40
prestan las mayores ventajas en las distintas aplicaciones que se puedan

i
implementar, y que mantienen una relacin con funciones lgicas binarias.
41
2.1 INTRODUCCIN.
El nmero de funciones de una construccin funcional de lgica ternaria es

grande; cuando tenemos n argumentos y el nmero de valores de verdad en los
que se basa la construccin es m, el nmero de las posibles funciones est dado
por la siguiente expresin.
777 (2.1)
Cuando n = 1 se tienen funciones de una variable o funciones uaras f(x).

\o la expresin (2.1) hay en total 3^ = 27 funciones ua
Cuando n = 2 se tienen funcione^ de dos variables f(x, y). Hay en total

2\J - 19683 funciones de dos variables.
Cuando n = 3 se tienen funciones de tres variables f(x, y, z). Hay en total
3^' = 7625597484987 funciones de tres variables.
A medida que se incrementa el nmero de variables, el nmero de funciones

lgicas ternarias crece exponencalmente.
En general las funciones lgicas ternarias son de dos tipos:
a) Funciones lgicas ternarias regulares.

b) Funciones lgicas ternarias no regulares,
2.2 FUNCIONES LGICAS TEJARAS REGULARES.
Las funciones lgicas ternarias egulares son adecuadas para tratar

ambigedades, se pueden usar erji teora de conmutacin, lenguajes de
programacin, teora de algoritmos, etc.
42
Las funciones lgicas ternarias regulares fueron introducidas por Mukaidono, el

valor de verdad > es interpretado como indeterminado si es O 1, o no definido.
Si V3 - {O, 1A, 1}, una funcin lgica ternaria de n variables F est dada por la
siguiente expresin (que es similar a la! expresin (1.1) definida en el captulo 1).
F: V3n
Una funcin lgica ternaria regular se define por medio de las siguientes
condiciones:
Condicin 1:
Si una funcin lgica ternaria se puede representar por frmulas lgicas bien
formadas, que consisten de n variables x-i,..., xn, constantes O, Yz y 1 y un nmero
finito de conectivos lgicos AND, OR y NOT, es una funcin lgica ternaria
i
representable por una frmula lgica (q funciones representares de Kleene).
Las funciones AND, OR y NOT estn dadas por las expresiones (2.2), (2.3) y
(2.4), respectivamente.
x/ Xj = min {x, X (2.2)

x + Xj = max {x, (2.3)
(2.4)
Las tablas de verdad de los conectivos lgicos AND (A o -), OR (V o +) y NOT

i
( ) se indican en la tabla 2.1 y corresponden al sistema lgico ternario de Kleene
estudiado en el captulo 1.
A continuacin se define una relacin de ambigedad notada con el smbolo

sobre V3 como sigue:
43
i* i (/e V
ii
En la relacin de ambigedad, O y 1 no son comparables entre s. Si / y, se dice
que / es menos ambigua que/ Ademas, esta relacin puede ser extendida a F3"
!
i
como sigue: Para dos elementos X = i(Xf,.__, xn) y Y - (yi,---, yn) de K3rt, se dice
que X es menos ambiguo o igual que Y si x 3 y para todo valor de /, es decir
X* Y. \
0 14 1 0 l/i
1 A ^
0 0 0 o 0 % 1 0 1
Va 0 y2 y2 y?
y2 y2 1 y, y2
1 0 14 1 -1 1 1 1 1 0
AND: A-B OR;A+B NOT:
TABLA 2.1 Tablas de verdad AND, OR y NOT ternarios.
Si X ^ Y o V : X, entonces X y Y son comparables, caso contrario X y Y son

!
!
incomparables.
Por ejemplo, dados los vectores de tres variables X = (O, J4} 1A), Y - (1, %., 0) y
\ = (24, %, %) se tiene que Xa Z y Y3.Z, peroXy y no so
Condicin 2:
La condicin de regularidad esta dada de la siguiente forma:
Si F(X) e {o, 1} entonces F(X) F(Y) para cada /, tal que Y<,X (2.5)
44
Esta condicin establece que si el valor de un elemento X de una funcin lgica

ternaria F es definido (es decir O 1) la funcin toma el mismo valor para cada
elemento Y, que es menos ambiguo o igual queX Esta es una generalizacin del
concepto propuesto por Kleene para tablas regulares definido en el literal 1.4.2 del
captulo 1.
Una funcin lgica ternaria F es regular si y solo s satisface la condicin de

regularidad.
Condicin 3:
La condicin de monotona por ambigedad dice:
(2.6)
y una funcin que satisface esta condicin se denomina funcin lgica ternaria A.
Dadas las condiciones de regularidad y de monotona por ambigedad se tiene;
Si F(X) = 1, entonces F(Y) = 1 piara todo elemento Y tal que Y X,

Si F(X) = O, entonces F(Y) - O p^ra todo elemento Y tal que Y X.
Si F(X) = %, entonces F(Y) = % ara todo elemento Y tal que Y * X.
en base a las cules se determina si una funcin lgica ternaria es regular o no;
adems, las tres condiciones anteriores son equivalentes entre s, es decir:
1. F es una funcin lgica ternaria, regular si y solo si F es una funcin lgica

ternaria A.
2. Si F es una funcin lgica ternaria representable por una frmula lgica,

entonces F es una funcin lgica ternaria regular.
45
Las siguientes funciones de una variable son funciones representabas de Kleene

y estn dadas por las frmulas: j
Fi=x3
-v,
Fe - % x ,
F7=x+ x,
F8=X - x ,
F9 = 0,
FIO - %
Fu - 1
2.2.1 REPRESENTACIN BE ÛNCIONES LGICAS TERNARIAS

REGULARES.
Se llama literal a una variable x/ o su complemento .Y.. La conjuncin de uno o

i
ms literales se denomina frase simple si no contiene un literal y su negacin
iI
x/-x ( simultneamente por lo menos en una variable x/, y frase complementara en
otro caso. La disyuncin de uno o ms! literales se denomina clusula simple si no

i
contiene un literal y su negacin x + xf simultneamente por lo menos en una
variable x/, y clusula complementara en otro caso.
Si A = (aif...,an) es un elemento de V*. Entonces A y una frase simple
a = xl x o clusula simple 3 = xf *+.+ x se corresponden si se tienen las
siguientes condiciones.
Si a/ = O, entonces xf=x] para una frase simple, xf-x para una clusula
simple.
46
Si a/ = 1, entonces jcf =xj para una frase simple, xf = xf para una clusula
simple. !
Si a/ = >, entonces no hay variable |x/ en a o /?.
l
i
|
Dadas las condiciones del prrafo anterior, una frase simple corresponde a la
suma de productos (minterms) y la clusula simple corresponde al producto de
sumas (maxterms) de las funciones Bqoleanas de la lgica binaria.
Por ejemplo, sea el elemento A = (1, fe O), la frase simple a correspondiente a A

es a = Xi x 31 y la clusula simple f3 correspondiente a A es /3 = x\ x3. En e!
siguiente ejemplo, x-/ -x, -x 4 - Xs es una frase simple pero Xi Xs- x3 es una frase
complementaria. I
i
i
F~1(1), F~1(0) y F'1(34) representan subconjuntos de V3" asignados a 1, O y 1/2, y
son ilamados el conjunto 1 T el conjunto O y el conjunto Vz, respectivamente. F~1(1)
es el subconjunto de minterms para los cuales la funcin es 1, F~1(0) es et
subconjunto de minterms para los fcujes la funcin es O y F ~1(34) es el
i -f -
subconjunto para los cules la fundn no es ni 1 ni 0. F (1) y F (0) son
determinados nicamente por sus mximos elementos, mientras F ~1(34) es
determinado nicamente por sus mnimos elementos. Adems,
U (2.7)
En general, una funcin lgica ternaria regular F se puede representar por la

siguiente frmula lgica (las funciones lgicas B-ternaras no utilizan este tipo de
representacin ya que no admiten el valor).
(2.8)
Donde F1 es la disyuncin de frases simples correspondientes a todo elemento

mximo del conjunto 1 de F y F\s la conjuncin de clusulas simples
i
correspondientes a todo elemento mx mo del conjunto O de F.
47
Por ejemplo, la funcin F? de la tat>la 2.2 se puede representar utilizando la

expresin (2.8) de la siguiente manera]
(2.9)
el conjunto de elementos mximos de| conjunto 1 es {(O, %)} y del conjunto O es

{(1,0)}.
1
X10
0 1/ 2
1/i 0
F2 O 1/2
y* y2 1
1
% 1 >i 'Ya
1 1 1/S Y2 o o 1
TABLA 2.2 F-/ es una funcin lgica ternaria regular y F2 es no reguiar.
2.3 FUNCIONES LGICAS B-TERNARIAS.
Este tipo de funciones cumplen las mismas condiciones de las funciones lgicas
i
ternarias regulares, por tanto, estas funciones tambin son regulares. Para estas
i
funciones se define la siguiente condicin.
Condicin 4;
La condicin de normalidad dice:
Si X e/Q 1}R entonces F(X) e /O, 1} (2.10)
Una funcin representada por una frmula lgica que no contiene la constante Yz
es una funcin B-ternaria. Este tipo de funciones dan a la salida el valor de yz
cuando ocurre una falla en un circuito, 3or ejemplo:
- *j v x2x,
- X X V .V.Y,
48
2.4 FUNCIONES TERNARIAS REGULARES MONTONAS.
Otro tipo de funciones lgicas regulares son las de monotona creciente, llamadas
simplemente montonas. La monotona de una funcin se define como sigue:
Para los vectores X = (Xi,..., xn), Y - (yi,..., yn) e v y considerando el orden
O < 1/5 < 1 se tiene:
X< Y si x/ < y/ para / = / , 2,...,a (2.11)
adems,
F(X)<F(Y)s\X<Y (2.12)
Por tanto una funcin lgica ternaria regular es montona si y solo si puede ser
representada por una frmula lgica que no contenga negaciones, es decir, est
basada en los conectivos AND y OR y las constantes O, % y 1. Por ejemplo la
funcin F = (1A) - x2 + x-/ + X2 x3 es montona.
i
2.5 FUNCIONES LGICAS TERNARIAS DE MAYORA.
i
i
La decisin por mayora usualmente significa decidir alguna cosa por una
preferencia dominante en ms de la mitad de los electores. Las funciones lgicas
ternarias de mayora son funciones ternarias regulares especales basadas en el
principio de mayora, que involucran pesos y umbrales. Estas funciones fueron
definidas porYamamoto. j
Si wi,..fj wn y TX, TI son enteros, para un elemento X = (x-i,..., xn) e vf y

O e {%, 1), se tiene:
Ne(X) - IM: x = 0, w,- > 0} + Zf-w,-; x, = 0, w < 0} (2-13)
y la funcin definida por:

49
s
si TNi(X)>i\Tx-NxQ<) (2.14)
en otro caso.
se denomina funcin temara de mayora con pesos wi,...f wny umbrales T-%, TL
Por ejemplo, Fi = x* + x2 - x, + (14) x-, es una funcin de mayora con pesos

3, -2, -1 y umbrales 2, 3; y F2 =x-j ** (%J (x? +x2J es una funcin de mayora con
pesos 2, 1 y umbrales 1, 2 como se indica en la tabla 2.3.
X X2 A/K A/7 F2
0 0 0 0 0
0 1/ 1 0 YZ
0 1 0 1 Yz
1/2 0 2 0 Y^
1/ % 3 0 Y2
1/2 1 2 1 Yz
1 0 0 2 1
1 1/2 1 2 1
1 1 0 3 1
TABLA 2.3 Funcin ternaria de mayora F2 = Xi + (1A) (x-
Una funcin de mayora que tiene pesos no negativos para todas las variables, es
decir:
A/ePO = IM: */ = 0} para 9 = 16,1
y adems es montona se denomina funcin de mayora montona.
Una funcin de mayora con umbrales iguales es una B-funcin.
En la figura 2.1 se indican varios tipos de funciones lgicas ternarias regulares y

en la tabla 2.4 se dan ejemplos de estas funciones.
50
Funciones lgicas Funciones lgicas

B-ternarias ternarias regulares
Funciones lgicas Funciones lgicas

ternarias regulares ternarias de mayora
montonas
FIG. 2.1 Relacin entre funciones lgicas ternarias regulares especiales.
Dominio Para funciones de

en la Ejemplos mayora ternarias.
figura 2.1 Pesos Umbrales
a Xi +X 2 1 1 1 1
b x2 V* + Xi 2 1 1 2
c X-i X2 + Xa X4
d Xi + -V, 1 -1 1 1
e X2 Y* + x, -2 1 1 2
f Xi X2 + X3 X4 y*
xi x2 + ,Y, - x
g X1 X2 + ^ ' X.
X1 ' X2 + -V3 ' X4 -Yz

h
X1 ' X2 + ^ ' X3 1 /2
TABLA 2.4 Ejemplos defunciones lgicas ternarias especiales.
2.6 ALGEBRA TERNARIA.
Cualquier funcin lgica ternaria regular puede ser representada por una frmula
lgica compuesta de constantes O, >iy 1, y dos operaciones binarias AND, OR y
una operacin uara NOT. Adems satisface el siguiente sistema algebraico.
51
1. LEY CONMUTATIVA
A+B=B+A
A- B = B-A
2. LEY ASOCIATIVA
A + (B + C) = (A + B) + C
3. LEY DE ABSORCIN
A+(A-B)=A
A - (A + B) = A
4. LEY DISTRIBUTIVA '

A - (B + C) = (A B) + (A
A+(B.-C)=(A+B)-(A +
5. LEY DE IDEMPOTENCIA
A +A =A
A-A=A
6. LEY DE DEMORGAN .
1. LEY DE DOBLE NEGACIN
8. ELEMENTO MENOR
Q+A -A
Q /\ Q
52
9. ELEMENTO MAYOR
1 -A =
10.LEYESDEKLEENE
A A A
11. CENTRO
I/ = 17
Este sistema de lgebra no cumple lasjleyes complementarias de la lgica binaria,

i
es decir:
A + A =1
A- A =0
El conjunto de conectivos lgicos {O, Y*, 1, +, % } (considerando las constantes

I

como conectivos lgicos de varablej cero) no pueden representar todas las
funciones lgicas ternarias, es decir, rio es funcionalmente completo; pero si es
funcionalmente completo en el sentido'fuerte para las funciones lgicas ternarias
i
regulares. Esto es, cualquier fundn lgica temara regular puede ser
representada por {O, Vz, 1, +, \t y recprocamente, una funcin lgica ternaria
representada por {O, ^ 1, -*w } es sicnpre reguar.
En la tabla 2.5 se define los conectivos OR (f) y NANO (4.) ternarios mediante
tablas de verdad.
El conjunto de conectivos lgicos {O, 1/z, OR] es funcionalmente completo para

funciones lgicas ternarias regulares, adems:
53
o
O 1 1 1
OR: A f B NAND: A J. B
TABLA 2.5 Tablas de verdad de OR y NAND ternarios.
El conjunto de conectivos lgicos {O, NAND} es funcionalmente completo para

funciones lgicas ternarias regulares, adems:
En la tabla 2.6 se definen 6 funciones ilgicas no regulares. S una funcin lgica

ternaria no-regular se suma al conjunto de funciones lgicas ternarias regulares
surgen algunos problemas, el nuevo conjunto de fundones lgicas ternarias no es
i
funcionalmente completo, como se ndip anteriormente.
X 0 % 1
ui(x) 0 0 1/2
U2(X) % 0 0
u3(x) Y* 0 Yz
U4(X) 1/2 1 Y*
us(x) 1/2 1 1
u6(x) 1 1 /21
TABLA 2.6 Funciones lgicas temaras no regulares de una variable.

CAPITULO 3.
CONECTIVOS LGICOS
54
3.1 INTRODUCCIN.
Una funcin lgica ternaria de dos entradas las cuales pueden asumir tres
estados lgicos (O, 1 y 2) y que generan una seal de salida que puede tener uno
de esos tres estados, se representa simblicamente en la figura 3,1.
FIG, 3.1 Funcin lgica ternaria.
Para la construccin de tablas de verdad de lgica ternaria se sigue los siguientes

pasos: En las primeras columnas se pone las variables que intervienen en las
frmulas lgicas, y al ltimo se pone ila frmula correspondiente- El nmero de
filas que intervendrn es igual a 3"t donde n es e nmero de argumentos
(variables) que intervienen, como se ndica en la tabla 3.1; en estas filas se pone
los valores de verdad de tal manera que se establezcan todas las combinaciones
posibles de los mismos. Por ltimo se;opera ios valores de verdad de acuerdo a
i
los conectores dados.
Nmero de
Nmero de filas
variables
3"
n
1 3
2 9
o
27
4 81
5 243
6 729
TABLA 3.1 Relacin entre el nmero de variables y el nmero de filas.
Es importante tener presente la forma como cambiarse del sistema de

i
numeracin ternario al sistema de numeracin decimal y viceversa.
55
Para pasar del sistema decimal al sistema ternario lo realizamos por medio del
mtodo de divisiones sucesivas para la base 3, como se muestra en la figura 3.2,
en la cual se tiene la conversin del nmero decimal 25 de base 10a base 3.
25
LSD
MSD
FIG. 3.2 Ejemplo de conversin de un nmero de base decimal a base ternaria.
Cada cociente que sea mayor a dos se vuelve a dividir para la base 3 hasta
!
obtener un cociente que sea menor <o igual a dos que corresponde al dgito
ternario ms significativo (MSD), el nmero ternario esta formado por todos los
residuos y el primer residuo corresponde al dgrto temario menos significativo
(LSD). El nmero decimal 25 expresado en base 3 es igual a 221.
Para pasar un nmero del sistema ternario al sistema decimal utilizamos el factor
\e ponderacin (peso) de cada dgito, como se muestra e
se pasa el nmero ternario 12201 de base 3 a base 10.
Factor de ponderacin 4 3 2 1 0
1 2 2 0 1 Nmero ternario
122013 = 0*31 -15410
FIG. 3,3 Ejemplo de conversr de un nmero de base 3 a base 10.
Cada digito ternario se multiplica por la base 3 elevada a su correspondiente

factor de ponderacin, el resultado se obtiene sumando cada producto parcial. El
nmero ternario 12201 expresado en base decimal es igual a 154.
56
En la tabla 3.2 se indica un ejemplo de construccin de la tabla de verdad de una

i
funcin lgica ternaria de tres variables. Esta funcin es del tipo B-ternaria
j
definida en e! captulo 2. i
X, X2 X3 Ff = *iv^
0 0 0 0
0 0 1 0
Q 0 2 0
0 1 0 0
0 1 1 1
0 1 2 1
0 2 0 0
0 2 1 1
0 2 2 2
1 0 0 1
1 0 1 1
1 0 2 : 1
1 1 0 1
1 1 1 1
1 1 2 1
1 2 0 1
1 2 1 1
1 2 2 2
2 0 0 2
2 0 1 2
2 0 2 2
2 1 0 2
2 1 1 2
2 1 2 2
2 2 0 2
2 2 1 2
2 2 2 2
TABLA 3.2 Tabla de verdad de F = x v

57
3.2 FUNCIONES CONMUTATIVAS

i Y NO CONMUTATIVAS
TERNARIAS. !
De las 19683 funciones lgicas ternarias de dos variables posibles, se tienen en

total 729 funciones conmutativas. Una funcin lgica ternaria es conmutativa si es

simtrica sobre su diagonal, caso contrario se denomina funcin no conmutativa.
En la tabla 3.3 se indica la forma cannica de fundones conmutativas, en la cual

se muestra la simetra alrededor de la diagonal axy, al aplicar funciones
!
conmutativas no hay necesidad de njiantener el orden de !as entradas; por e]
contrario, cuando se tienen fundones no conmutativas se debe respetar e! orden
ii
de las entradas. i
O .1
0 a b c
1 t> X d
2 c ;. d y
TABLA 3.3 Forma cannica de una fundn conmutativa.
A medida que la base de la lgica multi-valuada aumenta, el nmero de funciones

conmutativas crece exponencialmente-Ji pero la relacin de funciones conmutativas
al nmero total de funciones (y consecuentemente al nmero de funciones no
i
conmutativas) decrece exponencllmeate. Esto se muestra en la tabla 3.4.
Nmero de
Base de la Nmero de
funciones
lgica funciones lgicas
i conmutativas
2 21 2a
3 3a| 3b
4 41(1 41U
5 5^ 515
6 6^ 6*
TABLA 3.4 Relacin entre funciones lgicas y funciones conmutativas.

58
Cuando se busca funciones lgicas con ciertas propiedades es ms probable

hallarlas en un conjunto de funciones no conmutativas.
Ter 0 1 2 Ter 0 1 2
0 1 0 2 0 1 0 2
1 0 2 1 1 2 1 0
2 2 1 0 2 0 2 1
a) b)
TABLA 3.5 a) Funcin lgica temara conmutativa, b) Funcin lgica ternaria

no conmutativa
En la tabla 3.5.a se tiene una funcin lgica ternaria conmutativa y en la tabla

3,5.b se tiene una funcin lgica temara no conmutativa.
Las seales ternarias de entrada o salida pueden asumir cualquiera de ios tres
niveles, en ia figura 3.4 se tienen dos entradas a las cuales se aplica la funcin
lgica ternaria dada por la tabla 3.5.a demostrndose como se puede aplicar la
lgica ternaria.
FIG. 3.4 Seales ternarias aplicadas a una funcin lgica conmutativa.

59
Los valores O, 1 y 2 no son inherentes a la lgica ternaria, ellos pueden ser por
i
ejemplo -1, O y 1 para balancear la componente DC de las seales, sin cambiar
para nada la esencia de las fundones lgicas.
A continuacin en la tabla 3.6 se presentan como ejemplos algunas funciones

conmutativas.
Ter1 0 1 2 Ter2 0 1 2 Ter3 0 1 2 Ter4 0 1 2
0 0 2 1 0 1 1 1 0 2 0 1 0 1 0 2
1 2 1 0 1 1 1 0 1 0 1 2 1 0 2 1
2 1 0 0 2 1 0 0 2 1 2 0 2 2 1 0
Ter 5 0 1 2 Ter6 0 1 2 Ter7 0 1 2 Ter8 0 1 2

0 0 1 2 0 2 2 2 0 0 0 0 0 1 1 0
1 1 2 0 1 2 2 0 1 0 0 1 1 1 0 2
2 2 0 1 2 2 0 0 2 0 1 1 2 0 2 1
Ter9 0 1 2 TerlO 0 1 2 Ter11 0 1 2 Ter12 0 1 2

0 2 1 0 0 2 2 2 0 1 2 0 0 0 2 1
1 1 0 2 1 2 2 1 1 2 0 1 1 2 1 0
2 0 2 1 2 2 1 1 2 0 1 2 2 1 0 2
Ter13 0 1 2 Ter14 0 1 2 Ter15 0 1 2 Ter16 0 1 2

0 2 2 0 0 0 1 0 0 1 0 2 0 2 0 1
1 2 0 2 1 1 1 0 1 0 1 1 1 0 0 2
2 0 2 2 2 0 0 0 2 2 1 0 2 1 2 0
Ter17 0 1 2 Ter18 0 1 2 Ter19 0 1 2 T e r 2 00 1 2
0 2 0 1 0 2 0 1 o 1 1 0 0 1 0 0
1 0 1 2 1 0 2 2 1 1 0 1 1 0 0 0
2 1 2 0 2 1 2 0 2 0 1 1 2 0 0 0
60
Ter21 0 1 2 Ter22 0 1 2 Ter23 0 1 2 Ter24 0 1 2

0 1 1 2 0 1 2 1 0 1 2 2 0 2 1 1
1 1 1 0 1 2 1 0 1 2 1 0 1 1 1 0
o
2 2 0 0 2 , 1 0 0 2 0 0 2 1 0 0
Ter25 0 1 2
0 2 1 2
1 1 1 0
2 2 0 0
TABLA 3.6 Tablas de verdad de funciones lgicas ternarias conmutativas.
Se tienen a continuacin en la tabla 3.7 ejemplos de fundones no conmutativas.
non 1 0 1 2 non 2 0 1 2
0 1 2 1 0 2 1 0
1 1 2 0 1 2 0 2
2 2 0 0 2 0 1 1
TABLA 3.7 Tablas de verdad de funciones lgicas ternarias no conmutativas.
La notacin adoptada es arbitrariar sin embargo con frecuencia se utiliza un

nmero que representa la posicin de la funcin en la lista de funciones lgicas
ternarias de dos variables.
3.3 CONECTIVOS LGICOS.
3.3.1 FUNCIONES TERNAJUAS DE IFNA VKTABLE.
Este tipo de funciones tienen una entrada y una salida y comnmente se

denominan inversores. En la tabla 3,8 se indican las 27 funciones de una variable
de la lgica ternaria. En esta tabla constan tanto las funciones regulares como las
61
no regulares. Las funciones f% fio, fu! /??, he corresponden a las funciones

ternarias no regulares dadas por la tabla 2.6 del captulo 2.
X fi f2 6 f4 fs fe fy FB 9 / f / ff3 f f f fi7 fl8
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1
1 0 0 0 1 1 1 2 2 2 1 0 0 0 1 1 1 2 2 2
2 0 1 2 0 1 2 0 1 2 0 1 2 0 1 2 0 1 2
X fl9 ^20 f21 f22 /23 f f f f27
0 2 2 2 2 2 2 2 2 2
1 0 0 0 1
1 1 2 2 2
2 0 1 2 0 1 2 0 1 2
TABLA 3.8 Funciones ternarias de una variable.
3.3.1.1 Negacin ternaria simple (SXE).
Esta funcin tambin se denomina complemento de x, est dada por la siguiente

expresin;
7 =(r-1)\x (3.1)
|
i
donde r es el nmero de la base (en ste caso r ~ 3). El signo menos representa
ia sustraccin aritmtica, este operador simplemente invierte sus entradas. La
i
tabla de verdad correspondiente esta dada por la tabla 3.9.
TABLA 3.9 Tabla de verdad de la negacin STI.

62
3.3.1.2 Negacin ternaria positiva (FIT)l
La negacin ternaria positiva est dada! por ia siguiente expresin:
,, SI
x - (3.2)
2 7 si x- i
donde / = 2, el signo menos representa la sustraccin aritmtica. La tabla de

verdad se indica en la tabla 3,10.
TABLA 3.10 Tabla de verdad de la negacin PTI.
I
3.3.1.3 Negacin ternaria negativa (NTI).
La negacin ternaria negativa tambin est dada por la expresin (3.2), donde
i
i = 0. La tabla de verdad correspondiente se indica en la tabla 3.11.
TABLA 3.11 Tabla de verdad de la negacin NTI.
3.3.1.4 Rotacin hacia arriba (Roate Up).
Esta funcin tambin se denomina sucesor de x, est dada por la siguiente

expresin:
63
suc(x) - x - (3.3)
donde r - 3. El signo mas representa la adicin aritmtica, este operador

i
simplemente incrementa la variable de entrada en mdulo 3.
La tabla de verdad correspondiente est dada por la tabla 3.12.
TABLA 3.12 Tabla de verdad de la funcin Rotate Up.
3.3.1.5 Rotacin hacia abajo (RotateDown).
Esta funcin tambin se denomina predecesor y esta dada por la siguiente

expresin:
~~ (-A JJmod r (3.4)
donde r = 3. El signo menos representa la sustraccin aritmtica, este operador

deerementa la variable en mdulo 3. !
La tabla de verdad est dada por la tabla 3.13.
TABLA 3.13 Tabla de verdad de la funcin Rotate Down.

64
3.3.1.6 Shift up.
Este operador incrementa la variable en uno. Si la variable es 2, no se puede

incrementar y permanece en 2. La tabla de verdad se indica en tabla 3.14.
In Out
0 1
-i 2
2 2
TABLA 3.14 Tabla de

de vverdad
erdad d
de la funcin Shift Up
3.3.1.7 Shift down.
jble en uno
Este operador decrementa la variable uno. Si la variable es O, no se puede
disminuir ms y permanece en 0. Laatat >la de
de v(
verdad se indica en la tabla 3,15.
In Out
0 0
1 0
2 1
TABLA 3.15 Tabla de3 verdad

V8i dad de la funcin Shift Down.
3.3.2 FUNCIONES TERNARIAS DE DOS VARIABLES.
Estas funciones tienen dos variables de entrada y una variable de salida, y son el
compendio de algunas funciones analizadas en el captulo 1.
3.3.2.1 Mnimo.
Esta funcin est definida por la siguiente expresin:

65
= MIN(Xi, X2), es el ms pequeo x. (3.5)
Este operador selecciona el mnimo valor entre sus dos entradas como se indica
en la tabla 3,16.
O 1 2
0 0 0
X2
1 O 1 1
2 O 1 2
TABLA 3.16 Tabla de verdad de la funcin MIN.
3.3.2.2 Mximo.
Esta funcin est definida por la siguiente expresin:
V X2 = MAX (xi, Xz), e ms grande (3.6)
Este operador selecciona el mximo valor entre sus dos entradas, como se indica
en la tabla 3.17.
\ 0 1 2
0 1 2
X2
1 1 1 2
2 2 2 2
TABLA 3.17 Tabla de verdad de la funcin MAX.
La funcin mnimo y mximo son similares a las funciones AND y OR de la lgica

binaria, adems, mantienen la misma definicin en todas las lgicas ternarias
analizadas en el captulo 1.
66
3.3.2.3 Mximo exclusivo. !!
Esta funcin est relacionada a la funcin MAX. Su caracterstica es que la salida

es igual a cero si las dos entradas tienen el mismo valor.
\ 0 1 2
0 1 2
1 1 0 2
2 2 2 0
TABLA 3.18 Tabla de verdad de la funcin MAX exclusiva.

Esta funcin tiene una propiedad interesante,, si a un nmero se le aplica la

funcin MAX exclusivo con un conjunto! de 1's, y al resultado se le aplica la misma
operacin se obtiene el nmero orgnall
i
ii
3.3.2.4 Mean. !
Para este operador se tienen las siguientes condiciones: si ambas entradas son
Vs, la salida es 2, si una de las entradas es un 1, la salida es un 1, y si ninguna
de. las entradas es un 1, la salida es unid
0
0 0 1 O
1 1 2 1
2 O 1 O
TABLA 3.19 Tabla de verdad de la funcin Mean.
3.3.2.5 Magnitud.
El propsito de este operador es comparar la magnitud de dos entradas, si el

primer valor es menor, la salida es un|0; s son iguales, la salida es un 1, y si el
primer valor es mayor, la salida es un 2j.
67
x io 1 2
0 1 2 2
x2 1 Q 1 2
2 0 0 1
TABLA 3.20 Tabla de verdad de la funcin MAGNITUD.
3.3.2.6 OR.
Este operador se obtiene aplicando el inversor ternario simple (STI) a la funcin

MAX, En la tabla 3.21 se indica la tabla de verdad correspondiente.
O 1 2
2 1 O
X2
1 jl 1 O
2 0 0 0
TABLA 3.21 Tabla de verdad de la funcin OR.
3.3.2.7 NAND.
Este operador se obtiene aplicando el inversor ternario simple (STI) a la funcin

MIN. En la tabla 3.22 se ndica la tabla de verdad correspondiente.
\ 0 1 2
2i 2 2
X2
1 2 1 1
I
2 2 1 0
TABLA 3.22 Tabla de verdad de la funcin NAND.

68
3.4 SUMADORES.
Los sumadores son la base de las operaciones aritmticas en una computadora.

Al igual que en lgica binaria se tienen medio sumadores y sumadores completos.
3.4.1 SEMISMADOR
Tambin se denomina medio sumador y el algoritmo consiste de dos funciones,

una funcin para la suma llamada adicin de Mdulo-3 y otra funcin para el resto
llamada carry.
Si las entradas son A y B, la salida C se puede representar por medio de la

funcin de adicin de mdulo-3 (denominada p) como se indica en la ecuacin
(3.7).
C -* (A p B) (3.7)
La tabla de verdad para la fundn de adicin de mdulo-3 esta dada por la tabla
3.23 y para la funcin del carry (denominada y) esta dada por la tabla 3.24.
P 0 1 2
0 C 1 2
1 1 2 0
2 2 0 1
TABLA 3.23 Tabla de verdad de la funcin p.
Y C 1 2
0 0 0 0
1 0 0 1
2 0 1 1
TABLA 3.24 Tabla de Verdad de la funcin carry.

69
En la tabla 3.25 se aplican las funciones p y y para sumar dos nmeros ternarios.
02222 Nmero 1
00001 Nmero 2
02220 Adicin mdulo 3

0001 Carry

001 Carry

01 Carry

1 Carry

o Carry
10000 Resultado
TABLA 3.25 Suma de dos nmeros ternarios.
En este ejemplo se suman los nmeros 80 y 1 dando como resultado el nmero

81 (en notacin decimal).
3.4.2 SUMADOR COMPLETO,
El sumador completo cuenta con el carry de entrada (Cin) que proviene desde
otro sumador; este sumador cuenta con tres semisumadores, el primero es
idntico a un semisumador normal donde el carry es cero (Cin = 0), en el segundo
semisumador Cin = 1 y en el tercer semisumador Cin = 2. En la tabla 3.26 se tiene
i
un sumador completo. j
70
Cin A B Nmero Cout

0 0 0 0 0
0 0 1 1 0
0 0 2 2 0
0 1 0 1 0
0 1 1 - 2 0
0 1 2 0 1
0 2 0 2 0
0 2 1 0 1
0 2 2 1 1
1 0 0 1 0
1 0 1 2 0
1 0 2 0 1
1 1 0 2 0
1 1 1 0 1
1 1 2 1 1
1 2 0 0 1
1 2 1 | 1 1
1 2 2 2 1
2 0 0 2 0
2 0 1 0 1
2 0 2 1 1
2 1 0 0 1
2 1 1 1 1
2 1 2 2 1
2 2 0, 1 1
2 2 1 2 1
2_ 2 2 0 2
TABLA 3.26 Sumador completo.
Es interesante notar que el resultado es el mismo, excepto que ha sido rotado una
vez cuando el Cin es 1 y dos veces cuando el Cn = 2, como se observa en la
tabla 3.27.
71
Semisumador 1 Semsurnador2 Semisumador 3

0 1 2
1 2 0
2 0 1
1 2 0
2 1
i
0 1 2
2 0 1
0 1 2
1 2 0
Rotacin una vez Rotacin dos veces
TABLA 3.27 Rotacin de los semisumadores de un sumador completo.
3.5 FUNCIONES LGICAS SCRAMBLER Y DESCRAMBLER

TERNARIAS.
Un scrambler en trminos generales pseudo-aleateoriza su entrada a una salida

diferente, a mayor diferencia de la salida, es mejor el desempeo del scrambler.
Desde esta perspectiva, las fundones scrambler/descrambler conmutativas son
las que mejores opciones presentan. El propsito de los scramblers es prevenir
series largas de dgitos iguales, por tanto, e mayor problema para un scramblear
es crear una seal con caractersticas pseudo-aleatorias.
Los scrambiers binarios son ampliamente usados para codificar mensajes o para
proveer caractersticas pseudo-aleatorias a una seal digital binaria. Un scrambier
binario aleatoriza el orden de los bits en una cadena de bits dada. En e! receptor
la cadena de bits scrambleados necesita d una operacin inversa (descrambler)
para recuperar la cadena de bits original.
Para aleatorizar una seal se requiere que las funciones posean algunas
propiedades que son importantes, siendo estas las siguientes:
72
La funcin debe ser reversible; es decir, la misma funcin deber ser scrambler
y descrambler. Esta es la propiedad ms crtica que debe satisfacer una
funcin scrambler.
Asociatividad de las expresiones descrambler. Una expresin es asociativa si

el orden de ejecucin de las funciones no importa.
ii
Conmutatividad que permite ignorar el orden de las seales de entrada a los

elementos lgicos, en el sentido que la seal puede ser conectada a la entrada
A o a la entrada B.
En general, s A + 6 = C entonces C + A - 6 no es verdad, salvo en el caso de la

operacin de adicin en mdulo-2 que es ia misma operacin de sustraccin en
mdulo-2. En lgica ternaria esto no se cumple, la adicin de mdulo 3 no es la
misma operacin de sustraccin de mdulo 3.
Bajo condiciones no conmutativas la sustraccin de mdulo-n es una operacin

reversible, es decir:
C = (A-B)mod-n (3.8)
y
B = (A-C)mod-n (3.9)
Si se tienen dos estados A y B y una funcin que genera el estado X (scrambler),

se requiere hallar una funcin tal que con los estados X y A se pueda generar el
estado B (descrambler). As podemos tener funciones conmutativas y funciones
no conmutativas que sirvan como scrambler y descrambler.
Del total de funciones lgicas ternarias de dos variables se tienen 64 funciones

scrambier ternarias, muchas de las cules tienen limitaciones para obtener
secuencias pseudo-aieatorias. En la tabla
!
3.28 se muestran algunas de estas
funciones. !
Ti 0 1 2 T2 0 1 2 T3 0 1 2 T4 0 1 2
0 0 1 2 0 1 0 2 0 1 2 0 0 1 2 2
1 2 0 1 1 0 2 1 1 0 1 2 1 0 1 1
2 1 2 0 2 2 1 0 2 2 0 1 2 2 0 0
TABLA 3.28 Funciones scrambler.
De estas funciones T4 es la que mayores limitaciones presenta. La funcin T2 es

conmutativa y proporciona un scrambler ptimo. Hay que ser cuidadoso con las
entradas cuando las funciones scrambler son no conmutativas, como es el caso
deT 1( T 3 yT 4 .
La funcin TI es la funcin de sustraccin de mdulo-3. Esta funcin es no

conmutativa y su funcin descramber es la misma funcin. Este scrambler es solo
para determinar B por medio de la expresin (3.11 )3 as tenemos que:
(A~B)mod~3 (3.10)
(A-C)mod-3 (3.11)
Al tratar de obtener el nmero A por medio de la funcin T1( se obtiene una salida
errnea, como se observa en la tabla 3.29.
A 1022011
B 2211001
C-* (A - B)mod-3 2111010
B--*(A-C)mod-3 2211001
A- (B - C)mod-3 0100021 Respuesta errnea
TABLA 3.29 Scrambler/Descrambler temario con T
Otra clase de funciones scrambler son aquellas donde las funciones scrambler y
descrambler son diferentes. Esto significa que un sistema scrambler/descrambler
necesita dos funciones distintas, por ejemplo las funciones S-i y DI de la tabla
3.30.
74
Si 0 1 2 D! O 1 2
0 0 1 2
1 1 2 0 1
2 2 0 1 2
a) : b)
TABLA 3.30 a) Funcin scrambler 81. b) Funcin descrambler Di.
La funcin scrambler S-i es una funcin conmutativa y solo tiene una funcin
descrambler no conmutativa DI (si se consideran todas las posibilidades no
conmutativas). 81 es la funcin adicin de mdulo-34 la funcin Di/Si es no
conmutativa.
En la tabla 3.31 se muestran dos funciones scrambler conmutativas S2 y 83 las

cules tienen funciones descrambler D2 y D3 diferentes, respectivamente. Las
funciones descramber son no conmutativas.
S2 0 1 2 D2 0 1 2
0 1 2 0 0 2 1 0
1 2 0 1 1 0 2 1
2 0 1 2 2 1 0 2
S3 0 1 2 D3 0 1 2
0 2 0 1 0 1 0 2
1 0 1 2 1 2 1 0
2 1 2 0 2 0 2 1
a) | b)
TABLA 3.31 a) Funciones scrambler Soy S3. b) Funciones descrambler D2 y D3.
Las funciones scrambler S y D pueden cambiar sus roles, es decir, las funciones
D pueden ser scramber y las funciones S descrambler, adems, una de las tres
columnas de los scramblers S son idnticas a una de las columnas de los
descramblers D y portante estas no son aleatorizadas.
75
Al cambiar ios roles, es decir, al utilizar funciones D/S solo se puede obtener B
(no es posible obtener A, la seal que se obtiene es errnea), esto se indica por
medio de un ejemplo dado en la tabla 3.32.
A 21012012 A 21012012
B 11002101 B 11002101
C = (A S2 B) 10122221 C = (A D2 B) 12212011
B = (A D2 C) 11002101 B - (A S2 C) 11002101
A - (B D2 C) 21Q12Q12 A = (BS2C) 01022220
Respuesta errnea
b)
TABLA 3.32 a) Scrambler/Descrambler S2/D2. b) Scrambler/Descramber D2/S2.
Este tipo de scramber no es ptimo y las funciones scrambler/descrambler son no

conmutativas.
3.5.1 FUNCIONES TERNARIAS

CONMUTATIVAS.
Este tipo de funciones pertenecen al conjunto de ias 729 funciones conmutativas

definidas en literal 3.2. Al aplicar dos entradas A y B a una funcin scrambler
conmutativa se obtiene la salida C que tiene caractersticas pseudo-aleatorias y
esta dada por la expresin (3.12). i
(A SC B) -v C (3.12)
Se requiere hallar funciones temarlas conmutativas scrambler SC2 para las cules
se cumplan las siguientes relaciones:
A-*3(BSCC) (3.13)
(3.14)
2 SC se refiere a scrambler.
3 El smbolo > no se refiere a la funcin implicacin tratada en el captulo 1.
76
El conjunto de funciones SCi, SCa yj S3 cumplen los requerimientos de las

expresiones (3.13) y (3.14) de una fundn scrambler, adems estas funciones
son a la vez sus propios descrambler. En la tabla 3.33 se indican las tablas de
i
verdad correspondientes. i
SCi 0 1 2 SC2 O 1 2 SC3 O 1 2

Q 0 2 1 jl O 2 2 1 O
1 2 1 0 O 2 1 1 O 2
2 1 0 2 2 1 O O 2 1
TABLA 3.33 Funciones scrambler/descrambler conmutativas.
Las expresiones son representadas en forma vectorial, as por ejemplo, si usamos

la funcin Sd, el vector scrambler ternario con los vectores de entrada A y B est
dado por la siguiente expresin:
C -> (A Sd B) (3-15)
A continuacin en las tablas 3.34, 3.35 y 3.36 se determina los vectores scrambler
ternarios utilizando las funciones Sd3 S2 y SCa y los vectores de entrada
A =(1022011)yB = (2211001). !
A ; 1022011
B : 2211001
C--> (A Sd B) 0100021
D-*(CSCi B)Â 1022011
E--> (C Sd A) -t B 2211001
TABLA 3.34 Scrambler/Descrambler ternario con Sd
A | 1022011
B | 2211001
C -* (A SC2 B) i 1211102
D -* (C SC2 B) -4 A 1 02201 1
E-+ (C SC2 A) -4B 2211001
TABLA 3.35 Scrambler/Descrambler ternario con S2-

77
A 1022011
B 2211001
C- (ASC3B) ; 2022210
D -* (C SC3 B) -* A 1022011
E A (CSC3A)-B 2211001
TABLA 3.36 Scrambler/Descrambler ternario con SC3.
De estos ejemplos se concluye

que estas funciones trabajan como

scrambler/descrambler; se pueden combinar las tres funciones para obtener un
scrambler, sin embargo la prdida de sodativdad de las funciones puede crear
una seal de salida que es desplazada en valor comparada con la sea! de
entrada. :
3.5.2 LEY DESCRAMBLER PARA SCRAMBLERS COMPUESTOS.
En esta seccin analizaremos el efecto de ios scramblers compuestos. Las

funciones lgicas ternarias dadas por la tabla 3.33 satisfacen la propiedad ms
crtica de los scrambler; es decir, que estos sean reversibles.
Supongamos que la funcin es un scrambler vlido con la propiedad definida

anteriormente, un scrambler compuesto utilizando la propiedad de asociatividad
es de la siguiente forma:
O u t - (A0 B 0 C 0 D 0 E) (3.16)
Out -+ (A 0 E 9 B 0 D 0 C) (3.17)
Utilizando la funcin scrambler ternaria SCs podemos examinar la propiedad de

asociatividad, supongamos que tenemos:
B SC3 C) (3.18)
Out -* {(A SC i B) SC3 C} (3.19)

Out -> {A SC3 (B SC3 C)> (3.20)
78
Con A = 0, B = Q y C = 1se obtienen resultados diferentes, como se observa en la

tabla 3.37, de tal forma que la funcin scrambler dada por la expresin (3.18) no
es asociativa. !
A 0
B 0
C 1
Out-* {(A SC3 B) SC3 C} 2
Out-* {A SC3 (B SC3 C)} 1
TABLA 3.37 Scrambler compuesto con
Se tiene una propiedad inherente de las funciones scrambler que nos permite
i
resolver este problema, introduciendo funciones constantes en las expresiones
scrambler compuestas.
Dado el vector In - [O 1 2] y la constante RI (con valores O, 1 2), se obtiene la

salida Out| aplicando la funcin SCa, esjdecir;
(3.21)
y los posibles resultados dependiendo de RI son:
=[210]
=[102]
Quti 4= [O 21]
Si ahora se toma la misma expresin scrambler, pero se sustituye In con Outi se

obtienen los siguientes vectores: [O 1 2], [O 1 2] y [O 1 2]. Otros resultados no son
posibles; por tanto, si aplicamos la exp'esin scrambler dos veces con la misma
RI, se obtiene un descrambler. Esta conclusin es vlida para cualquier valor de
R! (O, 1 2).
79
Si se introduce un scrambler adicional en la expresin (3.21) con una constante

R2l se tiene:
(In SC3 Ri SC3 R2) (3.22)
y sus salidas dependiendo de R-i y RZ se indican en la tabla 3.38.
R2 = [0 0 0] Rz = [1 1 1] R2 = [2 2 2]
Ri = [0 0 0] [012] [201] [1 20]
Ri = [1 1 1] [1 20] [012] [201]
Ri = [2 2 2] [201] [120] [01 2]
TABLA 3.38 Resultados de la expresin (3.22).
Por tanto los posibles resultados son:
Out [O 1 2]
Ou [120]
Out
Cuando R-i = Ra la expresin (3.22) es un scrambler/descrambler de la entrada In,

caso contrario no lo es.
Si se aade otra funcin scrambler con una constante RST la nueva expresin es:
(InSC 3 R 1 SC 3 R 2 SC 3 R 3 ) (3.23)
R2 = [0 0 0] R 2 =[1 1 1] R2 = [2 2 2]
R3 = [0 0 0] Ra = [1 1 1] R3 = [2 2 2]
Ri = [0 0 0] [210] [2 1 0] [2 1 0]
Ri=[1 1 1] [102] [1 0 2] [102]
Ri = [2 2 2] [021] [021] [021]
TABLA 3.39 Resultados de la expresin (3.23).

En la tabla 3.39 se indican las salidas obtenidas con ta expresin (3.23), se
i
observa que estas son similares a los obtenidos con la expresin (3.21).
Out3 = [ 2 1 0 ]
Out3 = [1 O 2]
Qut 3 F[021]
La expresin (3.23) constituye un descramblert de ah que solo las expresiones

con un nmero impar de funciones scrambler nos permiten encontrar el
i
scrambler/descrambler requerido. |
La ley descramblerdice:
Una expresin lgica temara que consiste de un nmero impar de funciones
scrambler es su propio descrambler.
En las tablas 3.40 y 3.41 se aplican expresiones scramblers de la forma dada por
las expresiones (3.22) y (3.23), respectivamente.
Operacin scramb er
A 1022011
B 2211001
R 1111111
A SC3 B 2022210
Out = ( A S C 3 B ) S C 3 R 2122201
Operacin descram' Dler

A SC3 Ouf 2111010
B = (A SC3 Out) SC3 R 2000101 Respuesta errnea
TABLA 3.40 Scrambler compuesto Out = (A SC3 B) SC3 R
En la tabla 3.40 se obtiene un resultado errneo al aplicar la funcin descrambler,

debido al nmero par de funciones scrambler.
110
vi V2
2.5V 5V
o o
-3.25
H
1.75 11 Ql
H
In
E- Q2
Out
Q3
H
3.25 Q4
H
ovo
ov
FIG. 5.10 Inversor ternario simple STI (F210)
-1
: ,
-
I
I

2.7
~
i
i.e
':
: !
i
0 67n 1.33 2 2.67 3.33

Re=Graund J=667a/Di7 Y=roltage
FIG. 5.1 1 a Seal de entrai

ja del inversor ternario STI.
9
:
'. ;
': !
':
500
: :
3.33
FIG. 5.11 b Seal de salida del inversor ternario STI,
El mtodo usado para desarrollar las ramas del inversor temario es vlido para el
desarrollo de todas las ramas de cualquier funcin lgica de SUS-LOC de
111
cualquier nmero de entradas. El mtodo es extensible para ramas intermedias

adicionales.
En el siguiente ejemplo se desarrolla la funcin CGORa (complementing

generalized oR) que es anlogo a la fuhcin OR binara. Para esta funcin se
consideran los mismos parmetros del inversor temario.
Las salidas se determinan obteniendo el complemento del nivel lgico mas alto
presente en las entradas. El mapa de Kamaugh se muestra en la tabla 5.7.
A
^\ 0 1 2
2 1 0
B
1 1 1 0
2 0 0 0
TABLA 5.7 Mapa de Karnaugh de la funcin CGOR.
En la tabla 5.8 se indica la relacin entre las entradas y las salidas utilizando el
operador igual (=), de esto se concluye que se requiere 9 ramas que involucra un
nmero excesivo de transistores (ms de ocho) para obtenerla salida.
A B C A E3 C A B C
. A
0 0 =2 0 0 2 =0
1 0 *i 1 * A
1 2 =0
2 0 =0 2 =0 2 2 =0
TABLA 5.8 Relacin entre las entradas A y B y la salida C utilizando el operador

relacional =.
En la tabla 5.9 se tienen operadores relaciones ms complejas (como >, >, <, <)
mediante las cules se realiza el diseo de la funcin CGOR.
112
A E3 C
=0 =0 =2
=1 <2 H
, , f-\ >c =0
1 =1
X =2 =0
x = no importa
TABLA 5.9 Relaciones complejas entre las entradas A y B y la salida C.
Para la realizacin de CGOR se requiere 3 ramas compuestas. Una rama se debe

a las dos entradas no importa (x) que forman la misma rama compuesta final, la
otra se debe a las entradas = 1 y < 2 que son combinadas en una rama
compuesta intermedia y la ltima (rama final compuesta) cuando las entradas son
guales a 0L. Para esta funcin se requiere solo 8 transistores; si se desea
entradas adicionales, se deben aadir 4 transistores por entrada.
E! nmero de transistores requerido para fabricar los circuitos CGORs y CGAND3

es mayor que los requeridos para sus correspondientes circuitos binarios, sin
embargo, cada una de estas compuertas ternarias tiene nueve posibles
combinaciones de las entradas A y B, mientras las compuertas binarias solo 4;
para circuitos binarios anlogos de nueve estados de entrada se requiere un
mayor nmero de entradas y por tanto ms transistores, ms conductores, ms
pines I/O; por consiguiente, tienen ms valores parsitos que los circuitos
ternarios. !
Los diferentes requerimientos, implementaciones y resultados computacionales

entre lgica binaria y lgica ternaria generalmente indican que los sistemas
ternarios mas complejos requieren menos transistores que un sistema binario
equivalente. Estos sistemas generalmente tienen una habilidad computacional
ms alta.
113
El diseo y fabricacin de circuitos con ms funciones especficas reduce el

nmero de componentes, requerimientos de potencia, parmetros parsitos, etc.,
y hace que las aplicaciones de SUS-LOC sean ms ventajosas.
5.6 COMPUERTAS LGICAS TERNARIAS SUSLOC.
5.6.1 FUNCIONES DE UNA VARIABLE.
Una funcin de una variable OPF (one place funtions) es un circuito SUS-LOC
que slo tiene una entrada. Las funciones OPF convierten la seal de entrada a
una salida predeterminada segn las caractersticas del OPF. Las funciones
OPFs se usan principalmente para niveles lgicos intermedios.
El sistema de lgica ternario contiene 27 posibles OPFs, incluidas las funciones

continuas que dan la misma salida para cualquier entrada. E nmero de
funciones continuas, para cualquier base y para cualquier nmero de entradas,
siempre es igual a la base de la funcin, en este caso 3.
El smbolo grfico bsico para una funcin OPF se muestra en la figura 5.12a y en
la figura 5.12b se muestra un ejemplo, si descriptor posicional de la funcin se
pone dentro del smbolo para distinguir una funcin de otra.
Entrada Salida Entrada -'210)- Salida
a) b)
FIG. 5.12 a) Smbolo grfico de una funcin OPF b) Smbolo para la funcin F210
En la tabla 5.10 se tiene todas las combinaciones de funciones de una variable.

Como cada salida de una funcin OPFI es nica, en SUS-LOC se utiliza esta
caracterstica para identificar cada una de las funciones, por ejemplo, F210 indica
que sus salidas son 2, 1 y 0; tambin se ouede utilizar un nombre particular como
se lo realiz en el captulo 3.
114
Secuencia de 012
012 012
entrada
oc 0 100 200
oc)1 101 201
oc '2 102 202
01 0 110 210
Secuencia de
01 1 111 211
salida ternaria
01 2 112 212
o::o 120 220
02 :1 121 221
02 !2 122 222
TABLA 5.10 Funciones ternarias OPFs.
La mayora de funciones de una variable requieren de dos etapas simples OPF en

serie. Las funciones de etapa simple sor : F100, F110, F200, F210, F211, F220 y
F221.
Las funciones de etapa simple con Jas funciones CGOR y CGAND constituyen un
conjunto de conectivos funcionalmente completo.
En la tabla 5.11 se definen las funciones de una variable a partir de OPFs de

etapa simple.
F FA-FB FA-FB F A -F i FA-FB FA-FB FA-FB

001 F110-F100 F210-F100 F220-F100 F220-F110 F221-F110 F221-F210
002 F110-F200 F210-F200 F220-F2 00 F220-F210 F220-F220 F221-220
010 Aleatoria (cualquier combinacin)
011 F100-F100 F200-F100 F200-F110 F210-F110 F211-F110 F211-F210
012 F210-F210
022 F100-F200 F200-F200 F200-F2 10 F200-F229 F210-F220 F211-F220
100 Etapa simple
115
F FA-FB FA-FB FA.-FB FA-FB FA - FB FA - FB

110 Etapa simple
112 F110-F210 F110-F211 F210-F211 F220-F211 F220-F221 F221-F221
I
122 F100-F210 F100-F211 F200-F211 i F20&-F221 F210-F221 F211-F221
I
200 Etapa simple
210 Etapa simple
211 Etapa simple
220 Etapa simple
221 Etapa simple I
TABLA 5.11 Funciones de una variable en funcin de OPFs de etapa simple.
Una funcin OPF se usa principalmente para la conversin de niveles lgicos

intermedios, sin embargo, puede usarse para formar varios tipos de circuitos;
tambin las funciones OPFs pueden combinarse con uno o ms funciones de
varias entradas para formar cualquier funcin lgica de n variables.
En el anexo A se tienen algunos circuitos de funciones de una entrada con sus

respectivas formas de onda de salida.
Para realizar la implementacin de estos circuitos se debe buscar en un manual

los dispositivos MOSFET que tengan voltajes de umbral similares a los indicados
en cada uno de los esquemas.
5.6.2 FUNCIONES DE DOS VARIABLES.
Una funcin de varias entradas MPF (mltiple place funtions) es esencialmente la

combinacin de dos o ms funciones de una variable de la misma base. Cada
116
ms funciones OPFs, las ramas de cada

funcin OPF estn en serie, paralelo o serie-paralelo con otras ramas de otras
funciones OPFs para formar las ramas compuestas requeridas.
El sistema de lgica temario contiene 19683 posibles funciones de dos variables

con 9 combinaciones de entrada cada una, esto es 2.25 veces el nmero de
estados de entrada de una funcin binaria de dos variables, de estas solo 19632
son utilizables; sin embargo, algunas se
de las entradas se intercambian.
El smbolo bsico para una funcin de dos variables se muestra en la figura 5.13.
FIG, 5.13 Smbolo bsico de una funcin SUS-LOC de dos variables.
Las funciones MPF mantienen los mismos parmetros usados para las funciones
de una variable.
LSV = 2.5 voltios

OP =70 %
V0 = O vojtios
Vi =2.5 voltios
V2 = 5 voltios
En las figuras 5.14 y 5.15 se tienen las funciones CGOR3 y CGAND3

respectivamente.
CGOR3 (ternary complementing generalizad OR) es anloga a la funcin OR

binaria, la funcin CGAND3 (ternary complementing generalizad AND) es anloga
a la funcin NAND binaria.
117
vi V2
2 - 5V 5V
Q
-3.25
Ql
-3.25
+1.75 Q2
+1.75
A
Q4
-1.75 75
Q5 Q6
+3.25
Q7
+3.25
Q8
VO VO
ov OV
A
0 1 2
0 2 1 0
B
1 1 1 0
2 0 0 0
FIG 5.14 a) Esquema CGORa- b) Mapa de Karnaugh. c) Smbolo

118
vi V2
2 . 5V 5V
o o
-3.25
Ql
-3.25
-1.75 Q2
Q3
-1.75
+1.75
+1,75
Q5
+3.25
Q7
+3.25
Q8
o
ov
A
O
2 2
B i_
2 T
"o"
c)
FIG 5.15 a) Esquema CGAND3. b) Mapa de Karnaugh. c) Smbolo.

119
Las compuertas CGOR3 y CGAND3 ests compuestas de una funcin F210 por
cada entrada cuyas ramas estn en sene, paralelo o serie-paralelo para obtener
dichas funciones. Los transistores Q2j CU, Qe y Qy corresponden a una funcin
F210 mientras Q-j, Q3l Qs y Qs pertenecen a la otra funcin F210.
En la figura 5.14a se observa que las ramas finales Qi y Q2 estn en serie para
formar una rama compuesta, y Q7 y Q8 sstn en paralelo para formar otra rama
compuesta. En las ramas intermedias Q3 esta en serie con CU y en serie con Qs y
Qe (Qs y Qe estn en paralelo entre s) dando lugar a una rama compuesta serie-
paralelo.
Comparando las figuras 5.14a y 5.15a se observa las diferencias entre CGORa y
CGAND3. Las ramas que estn en serie sen la primera funcin, estn en paralelo
en Ja segunda; y las que estn en paralelo en la primera funcin estn en serie en
la segunda, adems, en la rama compuesta intermedia serie-paralelo la posicin
de los transistores de canal P y N se invierten.
A continuacin se da una breve explicacin acerca del funcionamiento de la

funcin CGOR3 de la figura 5.14a.
Cuando A = 0Ll la salida es el complemento de la entrada B; cuando A = 2t_, la

salida es 0L para cualquier entrada de B.
Los elementos del circuito CGOR son un mezcla de MOSFETs tipo incremental y
tipo decremental de canal P y canal N. El grupo de MOSFETs de tipo incremental
de canal N se utilizan para la transmisin de V0 a la salida, el grupo de MOSFETs
de tipo incremental de canal P se utilizan ;:>ara la transmisin de V2 a la salida y un
grupo combinado de MOSFETs de tipo decremental de canal P y canal N se
utilizan para la transmisin de V1 a la salida. Estos grupos permiten discriminar las
entradas y as generar la salida apropiada
V0 se conecta a la salida por medio de MOSFETs de tipo incremental (Q7 y Q8),

hay un transistor para cada entrada y como estn en paralelo solo uno puede
120
conducir. VGs ON es de 3.25 voltios {produciendo un voltaje de umbral absoluto de

3.25 voltios); para que V0 sea transmitido a ia salida, cualquier entrada A o B debe
estar en V2; cuando las dos entradas A y B son 1L 0L, V0 no se transmite a la
salida.
Vi se transmite a la salida por medio d dos estructuras de circuito. La primera

estructura de circuito es un grupo de MOSFET de tipo decremental de canal P
conectados en serie entre s, con voltajes de umbral VGs OFF de 1.75 voltios
(produciendo un voltaje de umbral absoluto de 4.25 voltios). La segunda
estructura de circuito es un grupo de MOSFET de tipo decremental de canal N
conectados en paralelo entre s, con vo tajes de umbral VGs OFF de -1.75 voltios
(produciendo un voltaje de umbral absoluto de 0.75 voltios). Las dos estructuras
del circuito se conectan en serie entre s, la primera estructura debe pasar la
segunda estructura antes de alcanzar la salida; los MOSFETs Q4 y Q6 de las dos
estructuras de circuito estn conectados a la entrada A y los MOSFETs Q3 y Qs
se conectan a la entrada B.
La primera estructura (Q3 y Q4) sirve prevenir la transmisin de V-i a la salida

cuando las entradas A o B son 2|_, como Q3 se conectan en serie con CU cualquier
entrada de 2t en cualquiera de los MOSFETs no permite la transmisin de Vi a la
salida, cuando A y B son 1i_ OL esta estructura transmite a la segunda
estructura del circuito,
La segunda estructura de circuito {Os y Q6) sirve para permitir la transmisin de V

a la salida cuando A o B son IL, Como los MOSFETs se conectan en paralelo
cualquiera de las entradas de nivel 1L permite la transmisin de Vi desde la
primera estructura de circuito a la salida. Si las dos entradas A y B son 0L
ninguno de los MOSFETs esta en me do de conduccin de esta manera la
segunda estructura no permite la transmisin de V-i cuando A y B son 0L.
V2 se conecta a la salida a travs de los MOSFET Qt y Q2 de tipo incrementa! de

canal P, los MOSFETs se conectan en serie entre s y hay un transistor para cada
entrada. VGSON es de -3.25 voltios (produciendo un voltaje de umbral absoluto de
121
1.75 voltios) y para que para que V2 sea transmitido a la salida ambas entradas A
y B debe estar en 0L, para otros niveles lgicos no hay transmisin.
Para cada entrada adicional de CGORa, un MOSFET adicional se requiere para

cada una de las etapas de la estructura dando un total 4 transistores adicionales
(transistores Q9j Q10| Qn y Qi2 del anexo B2).
La tabla 5,12 muestra la forma de respuesta de cada uno de los transistores en

forma individual de un circuito CGORa, los espacios en blanco indican que la
entrada no controla ese transistor.
Qi Q2 Q3 cu Qs Qe Qy Qs
0 On On Off Off
A 1 Off On On Off
2 Off Off On On
0 On On Off Off
B 1 Off On On Off
2 Off Off On On
TABLA 5,12 Respuesta individual de los MOSFETs para un circuito CGORa.
Para el circuito CGAND3 de la figura 5 15a cuando A es igual a 0L, la salida

siempre es 2L; cuando A es 2[_, la salida es el complemento de la entrada B. En
general, el circuito CGAND es suplementario al circuito CGOR en respuesta y
estructura. Donde el circuito CGOR usa MOSFETs en paralelo para transmitir V 0j
CGAND usa MOSFETs en serie; donde CGOR usa MOSFETs de tipo
decremental de canal P en serie y de ânal N en paralelo para transmitir V1}
CGAND usa MOSFET de tipo decremenial de canal N en serie y de canal P en
paralelo; donde CGOR usa MOSFETs en serie para transmitir V2, CGAND usa
MOSFETs en paralelo.
122
La tabla 5.13 muestra la forma de respuesta de cada uno de los transistores en

forma individual del circuito CGANDs, Jos espacios en blanco indican que la
entrada no controla ese transistor.
Qi Qa 03 0.4 Os Q6 Q7 Os
0 On Off On Off
A 1 Off On On Off
2 Off Off Off On
0 On Off On Off
B 1 Off On On Off
2 Off Off Off On
TABLA 5.13 Respuesta individual de los MOSFETs para un circuito CGAND3.
Los circuitos lgicos no complementados tambin se pueden realizar con SUS-

i
LOC, las funciones CGORa y CGAND3 son complementadas porque sus salidas
se obtienen complementando sus entradas. Para obtener una funcin lgica no
complementada se aade una funcin complemento F210 u otra funcin OPF que
sea necesaria. Un ejemplo de estas funciones son GORa y GAND3 cuyo smbolo y
mapa de Karnaugh se indican en las figuras 5.16 y 5.17, respectivamente. Los
circuitos correspondientes se muestran en los anexos B5 y B6, respectivamente.
A
0 1 2
0 0 1 2
B
1 1 1 2
2 2 2 2
a) b)
FIG 5.16 a) Mapa de Karnaugh de GOR3. b) Smbolo.
La funcin CEQa (temary complementing equality generator) es anloga a la

funcin XOR binaria, determina si dos entradas, A y B, son iguales y
123
complementa el resultado fina!. El mapa de Karnaugh y su smbolo se indica en la

figura 5.18, el circuito correspondiente se muestra en el anexo 37.
A
0 1 2
0 0 0 0
B 1 0 1 1
2 0 1 2
a) b)
FIG 5.17 a) Mapa de Karnaugh de GAND3. b) Smbolo
A
0 1 2
0 2 2 2
B 1 2 1 2 CEQ3
2 2 2 0
a) b)
FIG 5.18 a) Mapa de Karnaugh de CEQ3. b) Smbolo.
La funcin 153093 es una funcin no conmutativa por lo cual se debe tener

cuidado con las entradas; cuando B = 0L la salida es el complemento de la
entrada A; si B es 1L 2t, las salidas son 0L. Esta compuerta es til para control
de datos. El mapa de Karnaugh y su smbolo se indican en la figura 5.19 y el
circuito correspondiente se muestra en el anexo B8.
A
0 1 2
0 2 1 0
B 1 0 0 0 153093
2 0 0 0
a) b)
FIG 5,19 a) Mapa de Karnaugh de la funcin 153093. b) Smbolo
124
La funcin 195423 es una funcin no conmutativa, esta funcin es til para control
de datos; la salida es el complemento de A cuando B es 1L 2i_, cuando B es 0[_ la
salida es 2\_. El circuito correspondiente se muestra en el anexo B9 y el mapa de
Karnaugh y su smbolo se indica en la figura 5.20.
A
0 1 2
0 2 2 2
B 1 2 1 0
2 2 1 0
a) b)
FIG 5.20 a) Mapa de Karnaugh de la funcin 195423. b) Smbolo.
La funcin 1403 es una funcin no conmutativaT se obtiene aadiendo un inversor

a la funcin 19542a; cuando B es mayor que 0Lj la salida es idntica a la entrada
A; cuando B es OL la salida es OL- El mapa de Karnaugh y su smbolo se indican
en la figura 5.21 y su circuito en el anexo B10.
A
0 1 2
0 0 0 0
B 1 0 1 2 ) 1403
2 0 1 2
a) b)
La funcin 196773 es una funcin no connutativa, cuando la entrada B es 0L 1L,

la salida es 2L; cuando la entrada B es 2i_, la salida es el complemento de A. El
mapa de Karnaugh y su smbolo se indican en la figura 5.22 y su circuito en el
anexo B11.
Para la mplementacin de estas funciones se debe escoger MOSFETs que

tengan umbrales cercanos a los indicados en los diagramas.
125
A
0 1 2
0 2 2 2 ^ \ 3
B 1 2 2 2 /
/ /
2 2 1 0
a) b)
5.6.3 ETAPAS ADICIONALES PARA EVITAR BACK-BIASING.
Para los MOSFETs de canal N la fuente es la terminal ms negativa, mientras

para los MOSFETs de canal P ia fuente es la terminal ms positiva, si los
drenajes de varios MOSFETS de canal P se conectan a la salida se puede
producir back-biasing, esto se debe porque la salida de una rama puede alterar la
fuente de un MOSFET en otra rama, y por consiguiente se pueden cambiar las
referencias del drenaje y de la fuente, es decir, la fuente se convierte en drenaje y
el drenaje se convierte en fuente dando como resultado una salida errnea.
Para evitar back-biasing se aumenta una etapa simple OPF y/o el transistor de
reemplazo (figura 5.23) para asegurar e apropiado encendido o apagado de ios
transistores de cada rama.
Etapa OPF
simple Transistor de
(2 transistores) reemplazo
FIG. 5.23 Esquema de la etapa adicional para evitar back-biasing.
El voltaje de umbral absoluto de un transistor de una rama es relativo al voltaje de

alimentacin que va a conducir, la diferencia entre el voltaje de umbral absoluto y
el voltaje de alimentacin es el voltaje de umbral VGS<TH) del MOSFET en cuestin
(voltaje de umbral absoluto es igual al voltaje de alimentacin ms el voltaje de
126
umbral de la compuerta). El voltaje de jmbral de uno de los transistores de la

funcin OPF es el voltaje de umbral absoluto del transistor que es reemplazado, el
umbral del otro transistor es el voltaje de umbral suplementario del transistor
reemplazado. El umbral del transistor de reemplazo debe ser bajo para mantener
la simetra de la salida.
En la tabla 5.14 se muestra el nmero de figura que es asociado con el transistor

i
que va a ser reemplazado por las diferentes etapas.
Tipo de Tipo de Voltaj e de Voltaje de Figura de

canal MOSFET umb ral conduccin reemplazo
N Decremental -1.75 Vi 5.24a
N Decremental -1.75 V2 5.24b
N Decremental -4.25 V2 5.24c
P Decremental 1.7 5 Vi 5.24d
P Decremental 1.75 V0 5.24e
P Decremental 4.25 V0 5.24f
N Incrementa I 0.7 5 V! 5.24g
N Incremental 0.7 5 V0 No requiere
N Incremental 3.25 V0 No requiere
P Incremental -0.75 Vi 5.19h
P Incremental -0.75 V2 No requiere
P Incremental -3.:>5 V2 No requiere
TABLA 5,14 Relacin entre las etapas adicionales y los MOSFET con umbrales
diferentes.
127
-4.25 -0.75
,1-
-0.75
0.75
-3.25 0.75
0.75
J
1.75 4.25
-1.75 -3.25
3.25 1.75
9)
FIG. 5.24 Etapas adicionales para evitar back-biasing.

128
6.1 CONCLUSIONES.
K Para el xito de la lgica ternaria es necesario garantizar un sistema

compietamente definido de fundones lgicas en base al cual se pueda
establecer cualquier funcin, razn por la cual se ha desarrollado una basta
teora, la misma que establece los principios matemticos fundamentales que
le dan una mayor solidez y que permiten prever el resultado bajo ciertas
condiciones.
K Las lgicas trivalentes (o multi-valuadas) se plantean desde dos puntos de

vista, filosfico y matemtico, !a lgica de Lukasiewicz se puede catalogar en
el primer grupo, mientras las lgicas de Post y Kleene son las principales
representantes del segundo grupo. Es interesante notar que muchas funciones
tienen definiciones similares en las distintas lgicas; adems, son equivalentes
a las funciones de la conjuncin, disyuncin, negacin, entre otras, de la lgica
binaria.
K Una lgica trivalente se puede concebir como una lgica que maneja tres
estados y la interpretacin de stos depende de la aplicacin. No es necesario
utilizar los mismos smbolos para todas las lgicas, por ejemplo la lgica de
Kleene utiliza las letras t, f y u; la lgipa de Post utiliza los nmeros 1, 3 y 2, y
la lgica de Lukasiewicz los nmeros 1, O y 1; en todas ellas, tanto las letras
como los nmeros, tienen el mismo significado: verdadero, falso y no definido
o posible, respectivamente; por tanto la aplicacin de estas lgicas no esta
restringido al diseo o anlisis de circuitos, sino que se las puede utilizar en
aplicaciones que requieran de tres estados.
Dado que el nmero de funciones lgicas ternarias de dos variables es muy

grande como para ser manejadas en su totalidad, se tienen varios
subconjunos especiales de funciones que tienen caractersticas particulares e
importantes que se pueden utilizar; por ejemplo, las funciones lgicas B-
ternarias se utilizan en la deteccin de problemas en circuitos secuenciales
129
binarios y las funciones scramblers se aplican en la codificacin de seales

ternarias para su transmisin a travs de algn medio.
E En este proyecto, la lgica ternaria se ha utilizado para plantear otro punto de

vista para el mundo digital binario, las ventajas que ofrece esta lgica son
muchas pero no aplicables en la actualidad dado que no existen dispositivos
lgicos ternarios para desarrollar diferentes aplicaciones.
53 La estructura de circuito SUS-LOC es una buena alternativa para la aplicacin

de la lgica ternaria al diseo de circuitos lgicos; a pesar de que existe
dificultad para encontrar los elementos adecuados, la flexibilidad de esta
estructura permite que se puedan utilizar elementos que tengan parmetros
similares a los definidos en SUS-LOC. Adems, las condiciones actuales
tecnolgicas permiten desarrollar dcnos elementos con relativa facilidad, ya
que al variar algunas caractersticas en los procesos de fabricacin se puede
lograr con xito parmetros deseados de los elementos.
La complejidad aparente de los circuitos SUS-LOC se simplifica al momento

de realizar un anlisis ms profundo de estos; los circuitos SUS-LOC son una
combinacin de MOSFETs de canal N y canal P cuyo funcionamiento es
conocido, lo novedoso es la disposicin de estos elementos para obtener los
nuevos circuitos.
E En algunas de las simulaciones se ha utilizado elementos MOSFETs por

defecto, si se cambia alguno de ellos, se puede cambiar la secuencia de
i
salida; esto ocurre por que se ha variado los voltajes de umbral y por tanto el
voltaje al cual cada uno de ellos es sensible, de ah la importancia de utilizar
los elementos adecuados. Se puede utilizar un proceso inverso, es decir,
determinando los valores de los voltajes de umbral por medio de un manual, y
asumiendo valores de LSV y OP se puede determinar los voltajes alimentacin
para obtener un circuito prctico de acuerdo a la estructura de SUS-LOC. La
dificultad que se presenta se debe a los voltajes de alimentacin, ya que no
130
necesariamente son valores que se puedan obtener fcilmente por medio de

fuentes de alimentacin.
E A la finalizacin de este proyecto, es posible mencionar que se han cumplido

los propsitos trazados al inicio del mismo. Sin embargo, todava queda
mucho por aprender y desarrollar dentro de la lgica temara y de la estructura
de circuito SUS-LOC, especialmente lo que tiene ver con lgica combinacional
y conversores de base.
131
i
GLOSARIO DE TRMINOS
BACK BIASING: Efecto que se produce cuando se cambia el nivel de referencia

de un MOSFET, el drenaje se convierte en fuente y la fuente en drenaje, por
realimentacin desde la salida del circuito.
CLAUSULA COMPLEMENTARIA: Es la disyuncin de uno o ms literales
contiene una variable y su negacin simu tneamente en la misma expresin.
CLUSULA SIMPLE: Es la disyuncin de una o ms literales, no contiene una
variable y su negacin simultneamente en la misma expresin.
CIRCUITO ACTIVO: Circuito electrnico formado nicamente por elementos
activos (transistores, MOSFETs, etc), no posee en su diseo elementos pasivos
como resistencias.
DECIDIBILIDAD: Propiedad de una funcin por la cual se puede demostrar que
sta es calculable o no.
FRMULA: Sucesin finita de smbolos de algn conjunto dado numerable, finito
o infinito de smbolos.
FRASE COMPLEMENTARIA: Conjuncin de uno o ms literales, contiene una
variable y su negacin simultneamente en la misma expresin.
FRASE SIMPLE: Conjuncin de uno o ms literales, no contiene una variable y su
negacin simultneamente en la misma expresin.
FUNCIN DESCRAMBLER: Funcin que permite recuperar la seal original de
una seal pseudo aleatorizada por una funcin scrambler.
FUNCIN LGICA MULTIVALUADA: Funcin lgica que admite dos o ms
valores de verdad.
FUNCIN LGICA TERNARIA: Funcin lgica que admite tres valores de
verdad.
FUNCIN N-ARIA: Funcin de n variables.
FUNCIN SCRAMBLER: Funcin lgica que permite obtener una seal pseudo
aleatoria.
FUNCIN UARA: Funcin de una variable.
HEURSTICO: Utilizar la informacin del problema como gua para la solucin, lo
que con frecuencia permite tomar decisiones arbitrarias cuando no es clara una
eleccin ptima.
132
LITERAL: Es una variable o su negacin.

MAX: Trmino simplificado de mximo.
METATEORA: Una teora es un conjunto de enunciados verdaderos (o falsos)
sobre un objeto determinado, es decir, sobre individuos y relaciones que existen
entre stos, (se puede decir que una teora es un lenguaje sobre un universo).
Pero una teora T a su vez se puede convertir en objeto de investigacin, la teora
TI que habla de la teora T se llama mete teora de la teora T, cuya teora, en este
contexto, se convierte en la teora-objeto. Por tanto, la metateora es la disciplina
que estudia las propiedades de las teoras cientficas. En este nivel es posible
hablar de propiedades metatericas como la completitud o la decidibilidad.
MIN: Trmino simplificado de mnimo.
MV-LGEBRA: Una MV-lgebra es un tipo especial de lgebra desarrollada para
analizar lgicas infinito-valentes, posee axiomas y operaciones.
MVL: Lgica multivaluada.
PREDICADO: Formalizacin de una propiedad o de una relacin.
PROPOSICIN ATMICA: Es una proposicin simple, es decir, aquella que no
contiene conectores.
RAMA; Parte de un circuito SUS-LOC qte conecta o desconecta la salida con un
voltaje de alimentacin que corresponde a un nivel lgico.
SNTESIS DE UNA FUNCIN: Realizacin de una funcin lgica.
SUS-LOC: Estructura de circuito de lgica simtrica suplementaria.
TERT: Dgito ternario.
TUPLA: Vector de n variables.
uyR(y): Mnimo y tal que R(y), s 3 y < z que haga que R(y) sea verdadero.
VARIABLE LIBRE: Si la variable no se da en un cuantificador universal o
existencial.
VARIABLE LIGADA: Si la variable se da un cuantificador universal o existencial.
VOLTAJE LGICO DE PASO: Es la diferencia que debe existir entre niveles
lgicos distintos.
WFF: Frmula lgica bien formada.
133
BUENO, Eramis. "Lgica Polivalente". Editorial de Ciencias Sociales - La

Habana, 1976,
CIGNOLI, Roberto. MUNDICI, Daniele. "lgebras das Lgicas de

Lukasiewicz". Editorial Coleco Ce, Volumen 12, 1994.
KLEENE, Stephen C. "Introduccin a la Metamatemtica". Editorial Tecnos,

Madrid, 1974.
BOYLESTAD, Robert. NASHELSKY, Louis. "Electrnica: Teora de Circuitos".

Editorial Prentice Hall. Sexta Edicin. 1997.
YAMAMOTO, Yoshinori. MUKAIDONO, Masao, "Meaningful special classes of

ternary loglc functions Regular ternary logic functions and Ternary majoty
functions", IEEE transactions on Computers, Vol. 37, No. 7, July, 1988.
MUKAIDONO, Masao. "Regular ternary logic functions - Ternary ogic functions

suitable for treating ambiguity". IEEE transactions on Computers, Vol. C-35,
No. 2, February, 1986.
ZHIWEI, Xu, "Multivalued logic and Fuzzy logic - Their relationship,

minimization, and application to fault diagnosis". IEEE transactions on
Computers, Vol. C-33, No. 7, Julio, 1984.
TANG, Zheng. ISHIZUKA, Okihiko. "A learning Multiple-Valued Logic Network:

Algebra, Algorithm and Applications . IEEE transactions on Computers, Voi.
47, No. 7, February, 1998.
MOUFTAH, H. SMITH, K. VRANESIC, Z. uTemary rate multipliers". IEEE

transactions on Computers, Vol. C-29, No. 10, October, 1980.
134
HURST, Stanley. "Multiple-valued logic. Its status and its Mure", IEEE
i
transactions on Computers, Vol. C-33, No. 12, December, 1984.
i
i
SMITH, Kenneth. "Multiple-valued logic: A tutorial and apprecation". The
Computer Society, IEEE. April, 1988.
ETIEMBLE, Daniel. ISRAEL, Michel "Comparison of binary and multivalued

ICs according to VLSI entena". The Cpmputer Society, IEEE. April, 1988
KAMEYAMA, Michitaka. KAWAHITO, Shoji. "A multiplier chip with Multiple-

valued bidirectional current-mode logic circuits". The Computer Society IEEE,
I
April, 1988.
ALIE, M. SADI, T.SENTIEYS, O. OLSON, Edgar. "Design and

|
i
caracterization ofa low power ternaty DSP1.
i
OLSON, Edgar Danny. "Multiple-valued logic circuit architecture;
Supplementary symmetrical logic circuit structure (SUS-LOC)". United States
Patent, October, 2000.
LABLANS, Peter. 'Tema/y and higher multi-valued digital
scramblers/descramblers". United States Patent, Mar, 2005.
http://es.wrkipedia.org/wiki/Funci%C3%B3n_recursiva
http://www-gap.dcs.st-and.ac.uk/-history/Mathematicians/
http://ternarylogic.home.att.net
ANEXO Al: SEAL DE ENTRADA
5ICOS:
NIVEL LGICO VOLTAJE

0L V0 = 0.0 voltios
1L
V, = 2,5 voltios
2L V2 = 5.0 voltios
3.5
Z.7
900
667 1.33 2
Re=Cround
Secuencia de entrada; 0121

ANEXO A2: F001
vi vi
2.5V 2.5V
1.75 -0.75
Ql Q3
H
Q2
3.25 0.75
VO VO
OV OV
Circuito F001 (F110-F100)
VI V2
2.5V 5V
o
Ql
, PMOS
0/5V
' Q2 _Q5
, PM )S PMOS
'_Q3
NM< )S
NMOS
VO
Circuito simulado F001 (F210 - F100)
I3
i
z.s
-
i
l.S
:
1
:
EOQm
:
0
c 667m 1.33 1 Z Z.67 3.33
Re*Cround X=667a/Div Yvoltage
Secuencia de salida
ANEXO A3: F002
o V2 (? V2
i 1 5V
-0.75 T 5V
i -3.25 ,i
l '
h>
H, Ql
i hi Q3

H
11 i
H
M W-
Q4
3.25 0.75 't
i
ovo C. vo
OV OV
Circuito F002 (F220 - F200)
0/5V
H
i
1+
hi
Ql
E MC S
. i1
h>
H
i
L-PMOS
*
<
4 s H Q2 '
,
Hi
W3796 rr

. 1.
ii
Circuito simulado
3
i
j
j
667a, 1.33 2.67 3.33

Ref=Cround 7n/Div Y=voltage
Secuencia de salida
ANEXO A4: F010
V2 VI
1
bV 4 p k: - o v
1.76 1 i
k i i
PMOS
-3.25 1.75 i i
> 1 1
h>
ii
PMOS 'k < i
PMOS
ii <
<i
0.75 w- t'
K-
1 NMOS
vo
OV VO
UV
NMOS
3.25
vo
ov
Circuito F010
2.5
500a
667a 1.33 Z 2.67 3.33

Ref=Cround X=667m/Div Y=voltage
Secuencia de salida
ANEXO A5: F011
_ Q2 H
W-
<
NMOS
Circuito simulado
P
|
n
667m 1.33 I Z 2.67 3.33
Re=Ccound x=667tt/Di' Y=voltage
Secuencia de Salida
ANEXO A8:F022
VI V2
2 . 5V 9 5V
-0.75 -3.25
Ql
Q3
0.75 0.75
Q2 Q4
VO VO
ov ov
Circuito F022 (F100- F200)
3.6
1.8
900a
1.33 2 Z.67 3.33

Ref=Ground X=667a/Div Y^volcage
Secuencia de salida
ANEXO A9:F100
FUNCIN OPF DE ENTRADA SIMPLE.

VI
92.5V
H Ql
0/5V
H PMOS
H Q2
H NMOS
-r VO
Circuito F100 Circuito simulado
2.S
l.S
SOOa
6671 1.33 Z 2.67 3.33

Ref=Ground X=667a/Div Y=voltage
Secuencia de salida
ANEXO A10: F101
V2 VI
5V 2 . 5V
-0.75
-0.75 Ql
Q2
-0.75
Q4
3.25
Q3 Q5
3.25
vo
ov
0.75
1 Q6
VO
OV
Circuito F101
a:
;
667m 1. 33 : z.67 3. 33
ReCround X*667/I>iv Yvoitage
Secuencia de salida
ANEXO A11:F102
V2 VI
5V 2.5V
-0.75
Ql
-0.75
Q2
-0.75
Q4
3.25
Q3 QS
3.25
vo
ov
0.75
VO
ov
Circuito F102
4.5
3.6
Z.l
900&
1.33 2 2.67 3.33

Ref=Ground X=667/I>iv Y=uoltage
Secuencia de salida
ANEXO A12: F112
vi
5V
-0.75 -0.75
Q3
3.25 0.75
Q2
vo VI
ov 2 _ 5V
Circuito F112(F220-F221)
V2
5V
0/5V 'h-, Ql Q3
i
/AA
4 s
-JE 2N3796
Jt-l Q4
VI
2.5V
Circuito Simulado
4.5
3.S
2.5
667a 1.33 2 2.67 3.33
Raf=Ground X=667/Div Y^voltaga
Secuencia de salida
ANEXO A13:F121
V2 . VI V2
(, 5V < . 2 , 5V !5V
,
-0.75 i
-3.25 i
'l i Q2
ii
0.75
h>
,
h>
r1
H-1 Q4
1
 ,
:
3! vo
ov
<1
h*-
Q6
0.75
! vi
2 . 5V
Circuito F121
4.S
3.5
2.5
1.33 2 2.67 3.33

Ref=Gi:ound X=66?B/D7 Y=voitage
Secuencia de salida
ANEXO A14: F122
V2 V2
5V 5V
-3.25 -0,75
Ql Q3
0.75 0.75
Q2
VI
VO 2 . 5V
ov
Circuito F122 (F200 - F221)
3.5
667a 1.33 2 Z.67

Hef=Ground X=667B/Div Y=voltage
Secuencia de salida
ANEXO A15:F200
FUNCIN DE ENTRADA SIMPLE
V2
5V
--ni-1 Ql
0/5V PMOS
Q2
2N7000
0.75
Circuito F200 Circuito Simulado
S67a 1.33 Z 2.67 3.33

Ref=Cround X=667a/Div Y=
Secuencia de salida
ANEXO A16: F210
FUNCIN DE ENTRADA SIMPLE.
vi V2
2.5V 5V
-3.25
1.75
H Ql
-1.75
3.25
vo
ov
J
5 .4
3

'-
C 66 7a 1. 33 ; 2. 67 3. 33
Re=Ground X=667a/Div Y=volCage
Secuencia de salida
ANEXO A17: F220
FUNCIN OPF DE ENTRADA SIMPLE
V2 V2
5V 5V
-0.75
_ Ql _ Ql
PMOS 0/5V 'f-i PMOS
->
_ Q2
Q2
NMOS 2N3796
3.25
VO
OV
667a 1.33 2 2.67 3.33

Ref=Cround X=667n/Div T=volcage
Secuencia de Salida
ANEXO A18:F221
FUNCIN DE ENTRADA SIMPLE.

V2 V2
5V 5V
-0.75
Ql _ Ql
f-n PMOS 0/5V PMOS
H Q2
Q2
NMOS NMOS
0.75
5 vi 5 VI
2.5V 2.5V
4.5
3.S
Z.S
1.33 Z 2.67 3.33
Ra=Ground X=667m/Mv Y=voltage
Secuencia de salida
ANEXO Bl: FUNCIN CGOR3 DE DOS VARIABLES
vi V2
2 . 5V 5V
O
-3.25 i
Ql
-3.25
Q2
1.75
Q3
1.75
A
Out
l-i Q4
-1.75 -1 75
H Q5 ' H Q6
3.25
Q7
3.25
Q8
o VO
ov ov
ANEXO B2: FUNCIN CGOR3 DE TRES VARIABLES
Out
vo
ov
Se considera los mismos voltajes de umbral del circuito CGOR3 de dos variables.
ANEXO B3: FUNCIN CGANB3 DE DOS VARIABLES
VI V2
2 . 5V 5V
O O
-3.25

Ql
-3.25
Q2
-1.75
Q3
-1.75
A
Q4
Out
1.75
Q6
3.25
Q7.
3.25
Q8
vo
ov
ANEXO B4: FUNCIN CGAND3 DE TRES ENTRADAS
VI V2
2.5V 5V
Ql
H
Q2
Q9
c
QIO
B
Out
Qll h Q5 h Q6
h Q12
H
H Q7
H
H
vo
ov
Se considera los mismos voltajes de umbral del circuito CGAND de dos variables
ANEXO B5: FUNCIN GOR3 DE DOS VARIABLES
CM > O CNl
> ir, rH
0>
a >0
LO <
CNJ
i >
LO
CO CM
> ' CO
rH ir,
O ^-1
H
CM
CU
. . 1a 1
JLuL
^___ .
0-^
JJL?
^
)i 1
LO LO
h-;
CNJ >
C\
> U") a a
1 <
l ^r
LO < LO
CNJ CNJ t--
CO CO a co >
>0
rH U!
<
> ' PO
a L
CM
a
1
J[Ar-nJiT]--JiT
O- 1 1 LO '
i
CN
1s
0>
co
LO
ii LO ' 1 LO
T
1
ni,. <o
l
Til
>0
<
LO
CNJ
co'
a
A- AL -
CG
ANEXO B6: GAND3 DE DOS VARIABLES
s
O
a o>
>o
o-*- K)
in CN
OJ'
CO
H i-j
H H
o a
o--
H
a
i -o
a
H ir)
ir
ANEXO B7: FUNCIN CEQ3
o vl V2
2.5V 9 5V
-0.75 ;
-i-1
I-*
1.75 Q7
*
-3.25
Out
3.25
-1.75
Q9 \i
1.75, h~Qll
tL -1.75
I i - a2 . 5 ,M Q12
Q15 1!
CU
Q14 -0.75 o
A 3.25*
V
3.25
CM
3.25 11
Q18
vo vo
OV OV
ANEXO B8: FUNCIN 15309?
VI V2
9 2.5V 5V
-0.75
Ql
-3.25
A
1.75
\ Q3
i
w^
>
-1.75 i
Out
Q4
i
-0.75 i
i Q5
3.25 J!_
I Q6 'i
0.75
Q7
vo vo
ov ov
ANEXO B9: FUNCIN 195423
VI V2
' . bv L
f 5V
4i 4 i
-3.25 <
, ii *
O
-3.25 
1ii Q2
1.75 <i
A i i
k i
1
1
Q3
i
-1.75 c? 2 . 5 V 5V
I ii
H
ii
A 1.75 i , Q3
3 25 4, Q8
t
>
1+
<i 1i Q9 H
1.75 ii
k
1
-1.75 i , Q4
i
k
hi

-0.75 < , Ql
1
h>
-3.25 < , Q2 hn
r
il 1
h>
h-
1.75 < , Q3
A
>
 Q5
1
H-
h
<1
^ 3.25
h-'
h4-
ii Q6
<
i
3.25
r
1
<
m
U/
i
! vo
OV

Logica Ternaria

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Logica Ternaria

Enviado por

Direitos autorais:

Formatos disponíveis

ESCUELA POLITCNICA NACIONAL

ESTUDIO DE LA LGICA TERNARIA Y DE LA ESTRUCTURA DE

PROYECTO PREVIO ALA OBTENCINDEL TITULO DE INGENIERO EN

MARWIN ESTUARDO MORALES NARANJO

DIRECTOR: ING. JOS ANTONIO PAZMIO

Quito, Mayo 2005

A travs de la presente declaracin cedo mis derechos de propiedad intelectual

Marwin Esluardo Morales Naranjo

:r >* -x^"' ^'' ' "

Un sincero agradecimiento al Ingeniero Jos Antonio Pazmio por su invalorable

Agradezco tambin a todas aquellas personas que de una u otra forma me

TIPO DE FUNCIONES LGICAS TERNARIAS,

CONECTIVOS LGICOS Y FUNCIONES TERNARIAS

DESARROLLO ACTUAL DE LA TECNOLOGA TERNARIA.

ESTRUCTURA DE CIRCUITO DE LGICA SIMTRICA SUPLEMENTARIA

GLOSARIO DE TRMINOS 131

ANEXO A: FUNCIONES DE UNA VARIABLE (OPF).

Los sistemas de numeracin cuya base es mayor a dos (ternario, cuaternario,

La lgica y algoritmos actuales son generamente basados sobre dos valores,

Uno de los mayores problemas actualmente en sistemas binarios de dos niveles

Aunque la tecnologa multi-valuada ha avanzado rpidamente y se han

Existen varias lgicas polivalentes como la lgica de Lukasiewicz, la lgica de

Las lgicas multi-valuadas estn asociadas a funciones multi-valuadas, que son

Si / = 3 se tiene un sistema lgico ternario, las variables x/ toman valores del

La integridad funcional, y representacin de funciones lgicas ternarias ha sido

Cuando se aplican funciones lgicas temaras a varios campos de la ingeniera,

Las montaas cantan bonito (proposicin falsa)

A partir de proposiciones simples (o tomos) se pueden obtener proposiciones

Una proposicin bien formada cumple las siguientes reglas:

i. Toda variable proposiciona! es una proposicin bien formada.

La lgica de predicados de primer orden mejora la lgica proposicional. Est

Igual (x, z): Evala e! valor de verdad de la expresin x = z.

En el clculo de predicados se tienen: cuantrficadores (universal y existencia!),

A continuacin se dan varios ejemplos de smbolos:

(\fx) P(x, y) x es ligada, y es libre

Se tienen frmulas lgicas bien formadas (WFF) si se cumple:

Cuantificador existencia!; Bx(F)

Las distintas lgicas ternarias se basan en dos o ms definiciones semnticas a

Hay dos clases de semnticas:

La matriz lgica estndar (o matriz lgica caracterstica) se utiliza para

Conjunto de grados de verdad.

La semntica algebraica esta basada en estructuras algebraicas que deben

Desde un punto de vista filosfico es preferible usar matrices lgicas

1.2 VENTAJAS Y DESVENTAJAS DE LA LGICA TERNARIA.

Una ventaja obvia de la representacin de datos ternarios (datos multi-valuados)

Para los circuitos integrados binarios se han resuelto problemas como la

FIG. 1.1 Ventajas potenciales de circuitos lgicos ternarios.

Se incrementa la velocidad al realizar operaciones aritmticas y se tiene mayor

La lgica ternaria al poseer un mayor nmero de funciones lgicas que la lgica

En la figura 1.1 se resumen varias ventajas potenciales de la lgica ternaria.

La falta de circuitos integrados basados en lgica ternaria no permite aprovechar

La gran funcionalidad de los circuitos lgicos binarios, como elementos principales

1.3 LGICA TRIVALENTE DE LUKASIEWICZ.

Jan Lukasiewicz naci en Lvov (Ucrania) el 21 de diciembre de 1878, hizo sus

La primera formulacin sistemtica de una alternativa a la lgica bivaluada de

Lukasiewicz explor posteriormente la posibilidad de manejar lgicas con cuatro,

El punto de vista en que se coloca Lukasiewicz es filosfico, consideraba las

El sistema de lgica trivalente de Lukasiewicz (L/.3), se define mediante matrices

Por ejemplo: Se puede suponer sin contradiccin que mi presencia en Varsovia

El sistema de lgica U3, esta basado en la negacin e implicacin lgicas, que

Para el sistema de lgica LL3 tenemos la siguiente matriz lgica:

^=(A, D3 o1} 02,...., on) (1.3)

A es el conjunto de argumentos (tambin se dice que es el conjunto de valores

f:A-^v tai que [a,-] e v/ (1.4)