PROPOSICIONAL

Presentado por. 
Oscar Morales Perez      Cod: 2013250106
Miguel Chicuasuque       Cod: 2013250098
Jose Alexander Rojas     Cod: 2012250098
Diego Gonzalez               Cod: 2013250096
Jair Gerardo Parra      Cod:
Camilo Andres Castañeda Molina     Cod: 2013150017



Solucion taller

PROPOSICIONAL

   1)      Primer punto arbol

Cuadro verdad

Determincion : CONTINGENCIA

   2)      Segundo punto Arbol

Cuadro de verdad

FNC (CONJUNTIVA)

((P ^ Q) ^ (R ^ S)) V (( P ^ Q ) ^ (R ^ ~S)) V (( P ^ Q ) ^ (~R ^ ~S)) V (( P ^ ~Q ) ^ (R ^ S)) V (( P ^ ~Q ) ^ (R ^ ~S)) V (( P ^ ~Q ) ^ ~ (~R ^ ~S)) V ((~ P ^ Q ) ^ (R ^ S)) V ((~ P ^ Q ) ^ (R ^ ~S)) V ((~ P ^ Q ) ^ (~R ^ S)) V ((~ P ^ Q ) ^ ~ (~R ^ ~S)) V (~ (~P ^ ~Q ) ^ (R ^ S)) V (~ (~P ^ ~Q ) ^ (R ^ ~S)) V (~ (~P ^ ~Q ) ^ (~R ^ S)) V (~ (~P ^ ~Q ) ^ ~ (~R ^ ~S))

FND (DISYUNTIVA)

                (~ (~P V ~Q) V (R V ~S)) ^ ((~P V Q ) V (R V ~S))

   3)      Según salidas determinar la mejor opción

Salida 1

FNC S1 = (P ^ Q ^ R) V (P ^ Q ^ ~R) V (P ^ ~Q ^ ~R) V (~P ^ Q ^ R) V (~P ^ ~Q ^ R) V (~P ^ ~Q ^ ~R)

P ^ Q ( R ^ ~R) V (P ^ ~Q ^ ~R) V ~P ^ R (~Q ^ Q ) V (~P ^ ~Q ^ ~R)

P ^ Q ^ F V (P ^ ~Q ^ ~R) V ~P ^ R ^ F V (~P ^ ~Q ^ ~R)

P ^ ( Q  V ( ~Q ^ ~R) V ~P ( R V ( ~Q ^ ~R)

V ( Q  V ( ~Q ^ ~R) V  ( R V ( ~Q ^ ~R)

~Q ^ ~R V (Q V  R)                                         (no se si hasta aquí termian o falta mas)

FND S1 = ( ~P v Q v ~R) ^ (P v ~Q v R)

(no se que aplicar en esta)

Salida 3

FNC S3= (P ^ Q ^ R) V (~P ^ Q ^ R) V (~P ^ ~Q ^ R)

(P ^ Q ^ R) V ~P ^ R V (Q V  (~Q )

(P ^ Q ^ R) V ~P ^ R V (V)

R V (P ^ Q V (~P)

R V (P V Q )

FND S3 = ( ~P v ~Q v R) ^ (~P v Q v ~R) ^ ( ~P v Q v R) ^ (P v ~Q v R) ^ ( ~P v ~Q v ~R)

~P v (~Q v R ^ (Q v ~R)) ^ R v ( ~P v Q ^ (P v ~Q )) ^ ( ~P v ~Q v ~R)

~P v V ^ F ^ R v V ^ F ^ ( ~P v ~Q v ~R)

~P ^ (~Q v ~R) ^ R                        (no se si hasta aquí termian o falta mas)

BOOLEANO

    1)      Simplificación

( A + B ) · ( A + C¯ ) · ( B + C )

A + ( B + C¯ ) · ( B + C) ___________ A + ( B + ( C¯ + C )

A + ( B + ( 0 ) _________ A + B

    2)      Circuitos en NAND y NOR

F(A,B,C,D) = A¯ · B + A¯ · B · C + C¯.D¯