Las tablas de verdad requeridas aparecen a continuación. Desde los valores en el examen final dos columnas son idénticas que las mesas verifican eso Del Morgan´s leyes sostenimiento.
p q p´ q´ p v q p´ ^ q´ (p v q)´
0 0 1 1 0 1 1
0 1 1 0 1 0 0
1 0 0 1 1 0 0
1 1 0 0 1 0 0
p q p´ q´ p ^ q p´v q´ (p ^ q)´
0 0 1 1 0 1 1
0 1 1 0 0 1 1
1 0 0 1 0 1 1
1 1 0 0 1 0 0
a) (p^q)vr =pvqvr= (q)=q
=(pvq) v (rv(q^q))
= (pvq) v (r^(pvq))
=(pvq) v (r^(pvq))
=(pvq) v vr(pvq)
=pvq
1.- ((p ˄ q´) ˄ (r v (p ˄ q´))) ´ =
=(p ˄ q´) v (r v (p ˄ q´)) ´ por las leyes de Morgan´s
=(p´v q) v (r´^ (p ˄ q´)´) por las leyes de Morgan´s y el hecho que (q´)´=q
=(p´v q) v (r´^(p´v q)) por las leyes de Morgan´s
= ((p´v q) v r´) ^ (p´v q) por el distributivo y leyes de impotencia.
= p´v q por la absorción y leyes de impotencia.
p |
q |
r |
s |
g |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
p´q´r´s v p´q´rs´ v pq´rs v pqr´s
Permita f = (p ^ (q´ v r)) v (p´ ^ (q v r´)). La Tabla de verdad para f se da en figura s9.2
p |
q |
r |
q´ v r |
q v r´ |
p^(q´ v r) |
p´^(q v r´) |
f |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
La forma normal disyuntiva es: p´q´r´ v p´qr´ v p´qr v pq´r´ v pq´r v pqr
(a) usando a sólo los operadores v y ´,
(a) (p ^ q´) ^ r = (((p ^ q´) ^ r) ´) ´= ((p ^ q´) ´ v r´) = ((p´v q) v r´) ´= (p´v q v r´) ´
(b) usando a sólo los operadores NAND.
(b) (p ^ q´) ^ r = (p ^ (q NAND q)) ^ r
= ((p ^ (NAND q)) NAND r) NAND ((p ^ (q NAND q)) NAND r) = (((p NAND (q NAND q)) NAND (p NAND) (q NAND q))) NAND r) NAND (((p NAND (q NAND q)) NAND (p NAND (q NAND q))) NAND r).
P´= (p v p) ´ = p NORD p
2. p v q = ((p v q )´)´ = (p NORD q)´ = (p NORD q) NOR (p NOR q)
3. P ^ q = (p´v q´)´= p´ NOR q´= (p NOR p) NOR (q NOR q)
De, {NOR} is a complete set of operators.
Como una alternativa, note esop NAND q = (p ^ q) ´ = ((p´ v q´) ´) ´ = (p´ NORD q´) ´= ((p NOR p) NOR (q NOR q)) ´.
De, p NAND q = ((p NOR p) NOR (q NOR q)) NOR ((p NOR p)NOR (q NOR q)).
Subsecuentemente NAND puede expresarse en términos de NOR, y {NAND} es un juego completo de operadores, {NOR} también es un juego completo de operadores.
El mapa del karnaugh se muestra en figura
|
pq |
p´q |
p´q´ |
pq´ |
r |
1 |
1 |
1 |
|
r´ |
1 |
|
|
|
Esto contiene dos pares y para que
p´q´r v p´qr v pqr´v pqr = (p´q´r v p´qr) v (pqr´v pqr)
= p´r (q´v q) v pq (r´v r)
= p´r v pq.
p |
q |
r |
f(p, q, r) |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
Dibuje un mapa del karnaugh y encuentre una versión simplificada de f(p,q,r).
f= p´q´r´ v p´qr´v pq´r v pqr
El mapa del karnaugh se muestra en figura
|
pq |
p´q |
p´q´ |
pq´ |
r |
1 |
|
|
1 |
r´ |
|
1 |
1 |
|
Hay dos pares (uno oculto)
Simplificando da p´q´r´ v p´qr´= p´r´ y pq´r v pqr = pr.
Por consiguiente, f = p´r´v pr.
Julián Pérez Gutiérrez