Matematicas discretas Matlab

2. Para la siguiente expresión: construya el respectivo árbol, tablas de verdad y determine si es una tautología, contradicción, o contingencia.

b.)  [(~P ↔ R)←(P ˅ S)] ~˄ (P ṽ ~R)

Tabla de Verdad

La salida de la expresión da como resultado una contingencia. 


árbol

3. Reduzca el siguiente polinomio a formar normales disyuntiva y conjuntiva.

          B). [(~P → R)→(P ˅ S)]~←~(p ˄ q)

Tabla de Verdad

Forma Normal Conjuntiva 

(p˅r˅s˅q)˄(p˅r˅s˅~q)˄(p˅r˅~s˅q)˄(p˅r˅~s˅~q)˄(p˅~r˅s˅q)˄(p˅~r˅s˅~q)˄(p˅~r˅~s˅q)˄(p˅~r˅~s˅~q)˄(~p˅r˅s˅q)˄(~p˅r˅~s˅q)˄(~p˅~r˅s˅q)˄(~p˅~r˅~s˅q)

Forma Normal Disyuntiva

(p˄~r˄~s˄q)˅(p˄~r˄s˄q)˅(p˄r˄~s˄q)˅(p˄r˄s˄q)

4.  De acuerdo a las respectivas salidas determine la forma normal apropiada (conjuntiva o disyuntiva), y reduzca el polinomio a su mas minima expresión, mediante las reglas de reducción apropiadas y luego de ello corrobore utilizando mapas de Karnaugh.

Salida 1 (FND) =  (~p.q.~r) + (p.~q.r)

Salida 3 (FNC) = (p+q+r) . (~p+q+r) . (~p+~q+r)

Mapas de Karnaugh

Salida 1

'(~p.q.~r)+(p.~q.r)

Salida 2

6. Utilice Simulink de Matlab para simular la correspondencia de una de las salidas anteriores. Para ello utilice las correspondientes herramientas de las libretas Sources (Para los valores de entrada), Sink (para el display) y Logic and Bit Operations (Para las compuertas). Para garantizar la validez del ejercicio implima un pantallaso de la simulación.

 R./
En este enlace se puede descargar el archivo realizado en Matlab
https://mega.co.nz/#!HQYFxDbS!rL-Uqjhurr3NOJtVFBRUbuPiYn2qM_1-JfmiHlDiExs

8. Elabore en Simulink el correspondiente circuito sumador completo y verifique los resultado esperados

R./
Dejo Url donde se puede descargar el archivo realizado en Matlab

https://mega.co.nz/#!6AJASAoQ!ItNr_ieXdsvlgVJjN6cVRH1rKUhp1h81dWqS6wA2qq0