Intro Circuitos Logicos

1-1 R. ESPINOSA R. y P. FUENTES R.
UNIDAD I
1. LGEBRA DE BOOLE
2. MTODO DE REDUCCIN DE MAPAS DE KARNAUGH
INTRODUCCIN
A LOS
CIRCUITOS LGICOS
1. INTRODUCCIN A LOS CIRCUITOS LGICOS 1.1 LGEBRA DE BOOLE
1. LGEBRA DE BOOLE
El lgebra de Boole se llama as debido a George Boole, quien la desarroll a mediados del
siglo XIX. El lgebra de Boole denominada tambin lgebra de la lgica, permite prescindir de la
intuicin y simplificar deductivamente afirmaciones lgicas que son todava ms complejas.
El objetivo principal de este captulo es llegar a manejar los postulados y teoremas del
lgebra de Boole como herramienta bsica en el anlisis y sntesis de circuitos digitales.
1.1. DEFINICIONES.
El sistema matemtico denominado lgebra Booleana, es un mtodo simblico de estudiar
relaciones lgicas, el cual se desarrolla en tres partes:
1. Se establecen los conceptos fundamentales (smbolos o trminos no definidos).
2. Se define un conjunto de postulados que formen la base del lgebra.
3. Se constituyen los teoremas fundamentales del lgebra a partir de los postulados.
A su vez, las exigencias y condiciones que deben reunir los postulados son:
1. Los postulados deben ser coherentes o consistentes para que un lgebra definida pueda
desarrollarse por deducciones lgicas. En caso contrario, el sistema resultara contradictorio.
2. Los postulados deben ser independientes; es decir, irreductibles recprocamente (libre de
reducciones).
3. Los postulados deben ser tan simples en su enunciado como sea posible; es decir, no
separables en dos o ms partes.
1.2. POSTULADOS.
En base a los elementos primitivos establecidos anteriormente, se formulan los siguientes
postulados (axiomas), que por definicin no requieren de demostracin.
P.1. Existe un conjunto M de elementos sujetos a una relacin de equivalencia, denotada por
el signo = que satisfacen el principio de sustitucin.
P.2.a. Para toda (A , B) M, A + B es una operacin binaria denotada por el signo +, tal que (A
+ B) M.
P.2.b. Para toda (A , B) M, A B es una operacin binaria denotada por el signo , tal que
(A B) M.
P.3.a. Existe un elemento 0 en M, tal que A + 0 = A para toda A M.
P.3.b. Existe un elemento 1 en M, tal que A 1 = A para toda A M.
P.4.a. Para toda (A , B) M; A + B = B + A
P.4.b. Para toda (A , B) M; A B = B A
P.5.a. Para toda (A, B, C) M; A + (B C) = (A + B) (A + C)
P.5.b. Para toda (A, B, C) M; A (B + C) = (A B) + (A C)
P.6.a. Para todo elemento A M, existe un elemento , tal que:
P.6.b. Para todo elemento A M, existe un elemento , tal que:
P.7. Existen por lo menos (A , B) M, tal que:
Se habr observado cierta similitud entre estos postulados y los del lgebra ordinaria. Ntese
sin embargo, que la primera ley distributiva P.5.a. no es vlida en el lgebra ordinaria y que
tampoco existe ningn elemento en dicha lgebra.
Tambin se notar que los postulados de Huntington se presentaron por pares. Una
observacin ms detenida, muestra que existe una dualidad entre + y , lo mismo que entre 1 y
0. Si el smbolo + se substituye por y por +, as como todos los 1 se sustituyen por 0 y todos
los 0 por 1 en cualquiera de los postulados de cada par, el resultado es el otro postulado. A causa
de esta dualidad fundamental, cada teorema que se presenta tendr su dual que se obtendr
efectuando la sustitucin mencionada; por tanto, la demostracin de un teorema implica la validez
de su teorema dual.
1.3. TEOREMAS FUNDAMENTALES.
A continuacin se presentan los principales teoremas del lgebra de Boole, los cuales son la
base del trabajo subsecuente. Con lo visto hasta aqu es posible demostrar dichos teoremas por
cualesquiera de los siguientes mtodos.
1. Demostracin algebraica (empleando postulados y teoremas ya demostrados).
2. Grficamente (por medio de los diagramas de Euler-Venn).
3. Por induccin perfecta (empleando tablas de verdad).
Aqu se emplear el mtodo algebraico pues se considera la mejor manera de iniciarse en esta
lgebra, adems de que slo se demostrarn los teoremas primales, pero aplicando las reglas de
dualidad mencionadas anteriormente, se podr obtener la parte dual.
T.1. TEOREMAS SOBRE LA UNICIDAD.
1.a. EL ELEMENTO 0 ES NICO.
1.b. EL ELEMENTO 1 ES NICO.
DEMOSTRACIN DE 1.a.
Por contradiccin, supngase que 0 y 0
1
son neutros aditivos:
(P.3.a.)
Si
Si 0 es neutro, entonces:
(1)
Si 0
1
es neutro, entonces:
(2)
De (1) y (2) se obtiene:
ESTO DEMUESTRA EL TEOREMA
T.2. TEOREMAS SOBRE LA EQUIPOTENCIA.
DEMOSTRACIN DE 2.a.
(P.3.b.)
(P.6.a.)
(P.5.a.)
(P.6.b.)
(P.3.a.)
T.3.
DEMOSTRACIN DE 3.a.
(P.3.b.)
(P.6.a.)
(P.5.a.)
(P.3.b.)
(P.6.a.)
T.4. TEOREMAS DE LA ABSORCIN.
DEMOSTRACIN DE 4.a.
(P.3.b.)
(P.5.b.)
(T.3.a.)
(P.3.b.)
T.5. EL ELEMENTO ES NICO.
DEMOSTRACIN
Por contradiccin, supngase que existen dos elementos distintos , tales que:
(P.6.a.) Por suposicin
(P.6.b.) Por suposicin
Entonces:
(P.3.b.)
Por suposicin
(P.5.b.)
Por suposicin
Por suposicin
(P.5.b.)
Por suposicin
(P.b.3.)
T.6. PARA TODA
DEMOSTRACIN
Sea , por tanto:
(P.6.)
Pero:
(P.6.)
As que tanto X como satisfacen el postulado P.6. como el complemento de A, por tanto:
T.7.
DEMOSTRACIN DE 7.a.
(P.5.b.)
(P.5.b.)
(T.2.)
(P.5.b.)
(T.3.)
(P.3.b.)
T.8. TEOREMAS SOBRE LA ASOCIACIN.
DEMOSTRACIN DE 8.a.
Sea:
(P.5.b.)
(T.7.)
(P.5.b.)
(T.7.)
(1) (T.7.)
Como:
(P.5.b.)
(T.7.)
(T.7.)
(2) (T.7.)
Por consiguiente de (1) y (2) y por transitividad:
T.9. TEOREMAS SOBRE LA COMPLEMENTACIN.
DEMOSTRACIN DE 9.a.
(P.5.a.)
(P.6.a.)
(P.3.b.)
T.10. TEOREMAS DE DeMORGAN.
DEMOSTRACIN DE 10.a.
PRIMERA PARTE.
(P.5.a.)
(P.4.a.)
(T.8.)
(P.6.a.)
(T.3.a.)
(1) (T.2.b.)
SEGUNDA PARTE.
(P.4.b.)
(P.5.b.)
(P.6.b.)
(2) (T.2.a.)
Por tanto, de (1) y (2) se concluye que:
T.11
DEMOSTRACIN DE 11.a
(P.3.b.)
(P.6.b.)
(P.5.b.)
(T.2.)
(P.5.a.)
(P.6.a.)
(P.3.b.)
T.12
DEMOSTRACIN DE 12.a.
(P.5.b.)
(T.9.a.)
(P.5.b.)
T.13
DEMOSTRACIN DE 13.a
(P.5.b.)
(P.6.b.)
Para fcil referencia, los teoremas se resumen en la siguiente tabla:
TEOREMA PRIMAL TEOREMA DUAL
T.1.a. 0 ES UNICO
T.2.a. A + A = A
T.3.a. A + 1 = 1
T.4.a. A + (A B) = A
T.5. ES UNICO
T.6. A =
T.7.a. A [(A + B) + C] = [(A + B) + C] A = A
T.8.a. A + (B + C) = (A + B) + C
T.9.a. A+( B) = A + B
T.10.a =
T.11.a (A B) + ( C) + (B C) = (A B) + ( C)
T.12.a (A B) + (A C) = (A B)+(A C)
T.13.a (A B) + (A ) = A
T.1.b. 1 ES UNICO
T.2.b. A A = A
T.3.b. A 0 = 0
T.4.b. A (A + B) = A
T.7.b. A + [(A B) C = [(A B) C] + A=A
T.8.b. A (B C) = (A B) C
T.9.b. A ( + B) = A B
T.10.b. =
T.11.b. (A + B) ( + C) (B + C) = (A+B) ( +C)
T.12.b. (A + B) (A + + C) = (A + B) (A + C)
T.13.b. (A + B) (A + ) = A
1.4. COMPUERTAS LGICAS.
En la siguiente tabla se presentan los smbolos de las compuertas lgicas que se utilizarn,
de aqu en adelante, para la realizacin de los circuitos lgicos. stas realizarn las funciones
lgicas y tambin servirn de base para el diseo de circuitos ms complejos.
Estamos en posibilidad de mostrar el empleo de smbolos grficos y expresiones algebraicas.
EJEMPLO 1. Supngase que partiendo del enunciado verbal de un determinado problema, se
tiene la siguiente expresin:
(1)
Y deseamos obtener el diagrama del circuito lgico que realice esta funcin. Las variables A,
B, y C sern las entradas del circuito y F ser la salida. De la expresin observamos que se
tienen tres trminos, cada uno de los cuales requiere de una compuerta Y, las dos primeras
de dos entradas y una tercera de tres entradas. La salida de cada una de estas compuertas
es la entrada de una compuerta O. A la salida de esta compuerta se tendr la funcin de
salida. Pero antes, por cada variable testada que se tenga, se requiere que sta pase por un
inversor. Al diagrama lgico en estas notas le denominaremos logigrama.
El logigrama que representa la funcin, queda de la siguiente manera:
COMPUERTA SMBOLO FUNCIN TABLA DE VERDAD
INVERSOR
A F
0 1
1 0
Y
A B F
0 0 0
0 1 0
1 0 0
1 1 1
O
A B F
0 0 0
0 1 1
1 0 1
1 1 1
No Y
A B F
0 0 1
0 1 1
1 0 1
1 1 0
No O
A B F
0 0 1
0 1 0
1 0 0
1 1 0
COMPUERTA SMBOLO FUNCIN TABLA DE VERDAD
O
EXCLUSIVA
A B F
0 0 0
0 1 1
1 0 1
1 1 0
No O
EXCLUSIVA
A B F
0 0 1
0 1 0
1 0 0
1 1 1
Sin embargo, el circuito anterior es factible de reducirse y es aqu donde se utilizan los
postulados y teoremas. An cuando en este captulo no es objetivo la simplificacin de
funciones Booleanas, s lo es aplicar postulados y teoremas.
De la funcin, observamos que los dos ltimos trminos no son ms que el teorema 12.a., por
lo tanto:
(T.12.a.)
(P.4.a.)
Ahora la expresin queda con tres compuertas de dos entradas cada una, pero observamos
que los dos primeros trminos forman la O EXCLUSIVA NEGADA, por lo tanto, la funcin queda:
El logigrama reducido es:
Con respecto al primer logigrama, observamos que se disminuy en una compuerta, adems
de que no se utiliz ningn inversor. Ms adelante hablaremos del costo del circuito.
EJEMPLO 2. Supngase que por algn
medio se ha diseado el cir-
cuito que se muestra en la
Figura 3 y se pide, de ser
posible, obtener un circuito
ms sencillo que realice la
misma funcin.
Primero, es necesario determinar la
expresin F realizada por el circuito. Esto
se obtiene determinando la expresin
lgica a la salida de cada compuerta,
hasta llegar a la ltima del diagrama.
Siguiendo el procedimiento anterior,
obtenemos:
(2)
Aplicando postulados y teoremas a la ecuacin (2):
(P.5.)
(T.4.a.;T.2.b.)
(P.5.b.)
(T.2.b.)
(T.3.a.)
(T.11.a.)
El nuevo logigrama se muestra en la FIGURA 4.
Vemos que tanto la expresin como el circuito se han simplificado considerablemente, pero
realizando la misma funcin. Con estos dos ejemplos se ha tratado de mostrar la aplicacin
del lgebra de Boole, tanto en el anlisis como en la sntesis.
1.5 FUNCIONES DE CONMUTACIN
Una variable binaria es una variable discreta que puede asumir slo dos valores. Una
funcin de conmutacin de una o ms variables, es una variable binaria cuyo valor depende
de los valores de las variables de conmutacin. El smbolo f se emplea para denotar una
funcin de conmutacin: f = f(A, B, C,...); las variables A, B, C,.., son variables independientes,
mientras f es una funcin dependiente.
El valor de una funcin de conmutacin depende del valor de sus variables independientes.
Es fcil ver que para n variables, el nmero de combinaciones posibles es 2
n
. A continuacin se
muestra la tabla para tres variables, con 2
3
=8 combinaciones posibles.
TABLA FUNCIONAL
A B C f
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
?
?
?
?
?
?
?
?
Ahora bien, si los ocho signos de interrogacin, en la columna f se sustituyen por cualquier
combinacin de unos y ceros, quedar definida una funcin especfica de A, B, C. Como se tienen
ocho hileras, habr entonces 2
8
combinaciones diferentes para f, es decir, se tendrn 2
8
funciones
de conmutacin diferentes. El valor de f, para una hilera particular se denomina valor funcional
para la correspondiente combinacin de valores.
DEFINICIN: Una funcin de conmutacin de n variables, es cualquier asignacin particular de
valores funcionales para las 2
n
combinaciones posibles de valores de n variables.
EJEMPLO 3. Determine la funcin de conmuta-
cin para un circuito que detecte
los nmeros primos, para cuando
se tengan cuatro variables de en-
trada.
TABLA FUNCIONAL
DEC A B C D F DEC A B C D F
0
1
2
3
4
5
6
7
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
1
8
9
10
11
12
13
14
15
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
0
1
0
1
0
0
Por definicin un nmero primo es aquel que solamente es divisible por la unidad y por s
mismo, por lo tanto, cuando las combinaciones binarias correspondientes a los nmeros 1, 2,
3, 5, 7, 11 y 13, se presentan a la entrada del circuito, a la salida se tendr un 1 lgico.
En base a este razonamiento, la funcin de conmutacin se representa de la siguiente forma:
(3)
En la siguiente seccin se explicar cmo se interpreta esta funcin.
1.6 FORMAS NORMALES DE LAS FUNCIONES DE CONMUTACIN.
En el prrafo anterior se vio que, dada una funcin en forma algebraica, es posible determinar
la tabla funcional. Esta tabla es nica para una funcin especfica, como la mostrada en la
ecuacin (3). Dentro de las (2
2
)
n
expresiones, la que ms debe interesarnos es la forma cannica.
La relacin que guarda la forma cannica con la tabla funcional es muy importante, ya que por
inspeccin de sta se obtiene la forma cannica.
Antes de continuar con la forma cannica de una funcin, se darn las siguientes definiciones:
LITERAL. Una variable y/o su complemento.
TRMINO PRODUCTO. Conjunto de literales relacionadas por la conectiva .
TRMINO SUMA. Conjunto de literales relacionadas por la conectiva +.
TRMINO NORMAL. Un trmino producto o suma en el cual ninguna literal aparece ms
de una vez
- Producto normal
- Suma normal
TRMINO CANNICO. Trmino normal que contiene tantas literal como variables la funcin.
Producto cannico o minitrmino.
(para tres variables)
Suma cannica o maxitrmino.
(para tres variables)
FORMA SUMA DE PRODUCTOS. Una suma de trminos producto (MINITRMINO) de
una funcin.
FORMA PRODUCTO DE SUMAS. Un producto de trminos suma (MAXITRMINOS) de
una funcin.
FORMA CANNICA DE UNA FUNCIN. Es aquella en que todos los trminos son can-
nicos y aparecen una sola vez. Se tienen dos
formas:
1. Suma de productos cannicos o suma de MINITRMINOS.
2. Producto de sumas cannicas o producto de MAXITRMINOS.
A continuacin se muestra una tabla con tres variables, en donde se muestra la notacin de
los minitrminos y los maxitrminos.
DECIMAL A B C MINITRMINO MAXITRMINO
EJEMPLO 4. Disee un circuito que detecte
nmeros pares cuando a la entra-
da se tengan nmeros binarios de
4 bits.
TABLA FUNCIONAL
0
1
2
3
4
5
6
7
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
0
1
0
1
0
8
9
10
11
12
13
14
15
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
1
0
1
0
1
0
1
0
FUNCIN CANNICA
De otra forma:
LOGIGRAMA
El logigrama se presenta en la FIGURA 5.
EJEMPLO 5. Se tienen dos nmeros binarios de dos bits cada uno. Se desea disear un circuito
tal que detecte cundo estos nmeros son iguales.
Definicin de las variables.
X(A, B); Y(C, D); F = (X, Y)
TABLA FUNCIONAL
0
1
2
3
4
5
6
7
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
1
0
0
0
0
1
0
0
8
9
10
11
12
13
14
15
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
0
0
0
0
1
FUNCIN CANNICA
El logigrama se muestra en la FIGURA 6.
En los ejemplos 4 y 5, los circuitos se
construyeron directamente de las funciones
cannicas, ya que an no se han utilizado los
mtodos de minimizacin; pero qu sucede
si la funcin se presenta como la ecuacin (1),
EJEMPLO 1, y deseamos conocer la funcin
cannica que la origin? En tal caso, debemos
obtener dicha funcin cannica utilizando los siguientes teoremas:
1. Cualquier funcin de conmutacin de n variables F(A, B, C,...), se puede expresar como una
suma normal de productos utilizando los siguientes postulados:
(P.3.b.)
(P.6.a.)
(P.5.b.)
2. Cualquier funcin de conmutacin de n variables F(A, B, C,...), se puede expresar como un
producto normal de sumas, utilizando los siguientes postulados:
(P.3.a.)
(P.6.b.)
(P.5.a.)
EJEMPLO 6. Dada la siguiente funcin, encontrar la funcin cannica en forma de suma de
productos.
Por tanto:
EJEMPLO 7. Obtener la funcin cannica en forma de producto normales de sumas.
Finalmente:
Se puede observar de los resultados de los EJEMPLOS 6 y 7, que partiendo de la misma
funcin no cannica, se puede obtener la funcin cannica en sus dos formas: como suma de
minitrminos o como producto de maxitrminos. Tambin observamos que los trminos que no
estn en una funcin, estn en la otra, pero que la suma de ambos dan los 2
n
trminos.
EJEMPLO 8. De la siguiente funcin, encontrar la funcin cannica en la forma de producto de
maxitrminos.
Utilizando los teoremas antes expuestos:
De inmediato, sabemos que:
EJEMPLO 9. De la siguiente funcin, encontrar la funcin cannica en la forma de suma de
productos.
Utilizando los teoremas:
Automticamente, sabemos que:
EJEMPLO 10. Obtener la funcin cannica en la forma de suma de productos de la siguiente
funcin:
SOLUCIN
La solucin es inmediata ya que la funcin representa el maxitrmino cero, y como ya se dijo
anteriormente, los trminos que estn en una funcin no estn en la otra.
I.7. FORMAS DE EXPRESIN DE UNA FUNCIN DE CONMUTACIN.
Existen cuatro formas para expresar una funcin de conmutacin, las cuales son aplicadas
para representar un circuito lgico, teniendo cada una su propia utilidad, y stas son:
2. Tabla Funcional.
3. Expresin Algebraica.
4. Logigrama.
5. Carta de Tiempo.
TABLA FUNCIONAL. Es una forma tabular de la funcin que da el valor para cada una de las
posibles combinaciones de las variables. La tabla en conveniente para la especificacin inicial de
una funcin, ya que su misma construccin asegura que la funcin quede completamente definida.
An sin definirla previamente, el concepto de la tabla funcional ya fue usada en los ejemplos (4)
y (5). La principal desventaja de la tabla funcional es el tamao, el cual dificulta su manejo cuando
el nmero de variables es grande (para n=6).
EXPRESIN ALGEBRAICA. Una de las caractersticas importantes del lgebra, es la
existencia de una variedad infinita de formas equivalentes para la misma funcin. El lgebra puede
expresar las propiedades lgicas de un circuito, con respecto a la forma fsica del mismo. Desde
luego, la manipulacin algebraica puede ser til herramienta para optimizar la realizacin de un
circuito, de acuerdo con algn criterio.
LOGIGRAMA. Mientras la tabla funcional y las expresiones algebraicas son propiedades
independientes de cualquier configuracin del circuito, el logigrama muestra la topologa de una
realizacin particular del circuito que realiza la funcin lgica. Es una abstraccin del circuito real,
en donde se suprimen detalles irrelevantes para la funcin lgica del circuito. Como los elementos
son cajas negras y lneas que las conectan, los circuitos que los contengan en su interior, pueden
estar realizados en cualquier tecnologa. El logigrama tiene una orientacin ms realista que el lgebra.
CARTA DE TIEMPOS. Esta carta es un
diagrama prctico indispensable para el anli-
sis y sntesis de circuitos lgicos complejos,
de tamao ms que regulares. Se emplea
extensamente en el diseo de computadoras,
as como en la temporizacin de otros siste-
mas de control.
Su propsito es introducir el elemento
tiempo en el lgebra de Boole. En cualquier
circuito secuencial, las relaciones de tiempo
entre las seales son muy importantes y
quedan mejor expresadas en una carta de
tiempos. En la FIGURA 7, se muestra una
carta de tiempos en la funcin A B.
I.8 NIVELES DE CONMUTACIN.
Se habr observado en los logigramas
que la salida de una com-puerta puede ser la
entrada de otra compuerta, y la salida de sta
puede ser la entrada de otra ms, y as suce-
sivamente. Esta estructura de conexin entre
compuertas, forma lo que se llama niveles de
conmutacin o simplemente niveles de circui-
to.
Por niveles de conmutacin se entender
el mximo nmero de compuertas que una o
ms de las variables atraviesa desde la
entrada hasta la salida del circuito. Este
concepto se muestra en la FIGURA 8.
El concepto de los niveles de un circuito es importante en relacin al retardo que las seales
experimentan en un circuito.
I.9 EJERCICIOS.
1. Utilizando los postulados y teoremas del lgebra de Boole, compruebe cadas una de las
siguientes funciones, indicando, paso a paso, los postulados y teoremas empleados.
a) b)
c) d)
e) f)
g) h)
i) j)
2. Compruebe las funciones del problema anterior utilizando las tablas de verdad.
3. Dadas las expresiones siguientes, obtenga el logigrama correspondiente.
a)
b)
c)
d)
e)
4. Dados los siguientes logigramas, encuentre la expresin representativa de la funcin de
salida.
a) b)
c)
5. Simplifique las funciones obtenidas de los
logigramas del problema anteriores.
6. Encuentre el complemento de las siguientes funciones:
7. Utilizando los postulados y el lgebra de Boole, encuentre las formas cannicas de las
siguientes funciones:
8. Determine si las siguientes funciones son lgicamente equivalentes:
9. Reemplazar el circuito de conmutacin de la
siguiente figura por compuertas lgicas.
Encuentre los 4 esquemas del logigrama.

Intro Circuitos Logicos

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Intro Circuitos Logicos

Uploaded by

Copyright:

Available Formats

1-1 R. ESPINOSA R. y P. FUENTES R.

You might also like