Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Tarea No. 2 de Logicas

    Cargado por

    Franky Ramos
    10 vistas9 páginas

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    XLSX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como XLSX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    10 vistas9 páginas

    Tarea No. 2 de Logicas

    Cargado por

    Franky Ramos

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como XLSX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 9

    p q r pyq poq ~p ~q

    0 0 1 0 0 1 1
    0 0 0 0 0 1 1
    0 1 1 0 1 1 0
    0 1 0 0 1 1 0
    1 0 1 0 1 0 1
    1 0 0 0 1 0 1
    1 1 1 1 1 0 0
    1 1 0 1 1 0 0

    Ejercicio 1
    p q pyq
    0 0 0
    0 1 0
    1 0 0
    1 1 1

    Ejercicio 2
    p q r (p y q) (p y q) y r
    0 0 0 0 0
    0 0 1 0 0
    0 1 0 0 0
    0 1 1 0 0
    1 0 0 0 0
    1 0 1 0 0
    1 1 0 1 0
    1 1 1 1 1

    Ejercicio 3
    p q ~q (p-->~q) (p y ~q) (p-->~q) y (p y ~q)
    0 0 1 1 0 0
    0 1 0 1 0 0
    1 0 1 1 1 1
    1 1 0 0 0 0

    Ejercicio 4
    p q ~q (p y q) (p y ~q) (p y q) o (p y ~q)
    0 0 1 0 0 0
    0 1 0 0 0 0
    1 0 1 0 1 1
    1 1 0 1 0 1

    Ejercicio 5
    p q r pyqyr
    0 0 0 0
    0 0 1 0
    0 1 0 0
    0 1 1 0
    1 0 0 0
    1 0 1 0
    1 1 0 0
    1 1 1 1

    Ejercicio 6
    p q ~q (p y ~q) ~(p y ~q) ~(p y ~q) y (p y ~q)
    0 0 1 0 1 0
    0 1 0 0 1 0
    1 0 1 1 0 0
    1 1 0 0 1 0

    Ejercicio 7
    p q ~p ~q (~p y ~q) ~(~p y ~q) ~~(~p y ~q)
    0 0 1 1 1 0 1
    0 1 1 0 0 1 0
    1 0 0 1 0 1 0
    1 1 0 0 0 1 0

    Ejercicio 8
    p q r qyr poqyr
    0 0 0 0 0
    0 0 1 0 0
    0 1 0 0 0
    0 1 1 1 1
    1 0 0 0 1
    1 0 1 0 1
    1 1 0 0 1
    1 1 1 1 1

    Ejercicio 9
    p q ~p ~q (~p y ~q) ~(~p y ~q) ~(~p y ~q) y (p y ~q)
    0 0 1 1 1 0 0
    0 1 1 0 0 1 0
    1 0 0 1 0 1 0
    1 1 0 0 0 1 0

    Ejercicio 10
    p q r ~r q y ~r p o q y ~r
    0 0 0 1 0 0
    0 0 1 0 0 0
    0 1 0 1 1 1
    0 1 1 0 0 0
    1 0 0 1 0 1
    1 0 1 0 0 1
    1 1 0 1 1 1
    1 1 1 0 0 1

    Ejercicio 11
    p q r pyq pyq»r
    0 0 0 0 0
    0 0 1 0 0
    0 1 1 0 0
    0 1 0 0 0
    1 0 1 0 0
    1 0 0 0 0
    1 1 1 1 1
    1 1 0 1 0

    Ejercicio 12
    p q r ~r pyq p y q » ~r
    0 0 0 1 0 1
    0 0 1 0 0 1
    0 1 0 1 0 1
    0 1 1 0 0 1
    1 0 0 1 0 1
    1 0 1 0 0 1
    1 1 0 1 1 0
    1 1 1 0 1 1

    Ejercicio 13
    p ~p p ↔ ~p
    0 1 0
    0 1 0
    1 0 0
    1 0 0

    Ejercicio 14
    p q ~q (p y ~q) ~(p y ~q) ~(p y ~q) y (p y ~q)
    0 0 1 0 1 0
    0 1 0 0 1 0
    1 0 1 1 0 0
    1 1 0 0 1 0

    Ejercicio 15
    p q ~p ~q ~~p o ~~q
    0 0 1 1 1
    0 1 1 0 1
    1 0 0 1 1
    1 1 0 0 0

    Ejercicio 16
    p q poq
    0 0 0
    0 1 1
    1 0 1
    1 1 1

    Ejercicio 17
    p q r qor p↔qor
    0 0 0 0 0
    0 0 1 1 0
    0 1 0 1 0
    0 1 1 1 0
    1 0 0 0 0
    1 0 1 1 1
    1 1 0 1 1
    1 1 1 1 1

    Ejercicio 18
    p q ~p (p y q) (~p o q) (~p o q) o (p y q) ((~p o q) o ~p)
    0 0 1 0 1 1 1
    0 1 1 0 1 1 1
    1 0 0 0 0 0 0
    1 1 0 1 1 1 1

    Ejercicio 19
    p q ~p ~q (p o ~q) (~p → ~q) (p o ~q) → (~p → ~q)
    0 0 1 1 1 1 1
    0 1 1 0 1 0 0
    1 0 0 1 1 0 0
    1 1 0 0 1 0 0

    Ejercicio 20
    p q ~p ~q (p ↔ ~q) (p o ~q) (p ↔ ~q) o (p o ~q)
    0 0 1 1 0 1 1
    0 1 1 0 1 0 1
    1 0 0 1 1 1 1
    1 1 0 0 0 1 1

    Ejercicio 21
    p q ~p ~q (~p y q) (~p → q) (~p y q) o (~p → q)
    0 0 1 1 0 1 1
    0 1 1 0 1 1 1
    1 0 0 1 0 1 1
    1 1 0 0 0 0 0

    Ejercicio 22
    ~p ~q ~q o ~p
    1 1 1
    1 0 1
    0 1 1
    0 0 0

    Ejercicio 23
    p q r ~p ~q ~r qyr
    0 0 0 1 1 1 0
    0 0 1 1 1 0 0
    0 1 0 1 0 1 0
    0 1 1 1 0 0 1
    1 0 0 0 1 1 0
    1 0 1 0 1 0 0
    1 1 0 0 0 1 0
    1 1 1 0 0 0 1
    ~r
    0
    1
    0
    1
    0
    1
    0
    1
    (p y ~q) ~~(~p y ~q) o (p y ~q)
    0 1
    0 0
    1 1
    0 0
    [(~p o q) o (p y q)] → [(~p o q) o ~p]
    1
    1
    1
    1
    (~q o r)

    También podría gustarte