Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 6 vistas

    Practico1 Logica

    Cargado por

    suilward00
    Este documento presenta un práctico de álgebra lineal con 11 problemas que involucran tablas de verdad, equivalencias lógicas, simplificación de proposiciones booleanas y circuitos lógicos. Los problemas incluyen determinar valores de verdad, clasificar proposiciones, identificar tautologías, equivalencias lógicas y proposiciones equivalentes, simplificar proposiciones usando leyes lógicas, y verificar la validez de razonamientos y hallar circuitos lógicos equivalentes.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Practico1 Logica

    Cargado por

    suilward00
    6 vistas3 páginas
    Este documento presenta un práctico de álgebra lineal con 11 problemas que involucran tablas de verdad, equivalencias lógicas, simplificación de proposiciones booleanas y circuitos lógicos. Los problemas incluyen determinar valores de verdad, clasificar proposiciones, identificar tautologías, equivalencias lógicas y proposiciones equivalentes, simplificar proposiciones usando leyes lógicas, y verificar la validez de razonamientos y hallar circuitos lógicos equivalentes.

    Descripción original:

    sa

    Título original

    Practico1-logica

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta un práctico de álgebra lineal con 11 problemas que involucran tablas de verdad, equivalencias lógicas, simplificación de proposiciones booleanas y circuitos lógicos. Los problemas incluyen determinar valores de verdad, clasificar proposiciones, identificar tautologías, equivalencias lógicas y proposiciones equivalentes, simplificar proposiciones usando leyes lógicas, y verificar la validez de razonamientos y hallar circuitos lógicos equivalentes.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    6 vistas3 páginas

    Practico1 Logica

    Cargado por

    suilward00
    Este documento presenta un práctico de álgebra lineal con 11 problemas que involucran tablas de verdad, equivalencias lógicas, simplificación de proposiciones booleanas y circuitos lógicos. Los problemas incluyen determinar valores de verdad, clasificar proposiciones, identificar tautologías, equivalencias lógicas y proposiciones equivalentes, simplificar proposiciones usando leyes lógicas, y verificar la validez de razonamientos y hallar circuitos lógicos equivalentes.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 3

    PRACTICO Nro.

    1
    Asignatura: Algebra Lineal Grupo: 3
    Docente: Ing. Silvia Chambi Gareca Fecha: 04 de marzo de 2024

    1. Hallar el valor de verdad de la proposición

    √8 > √2 ∧ −8 < 0 → √2 ≥ √8 ∨ < ↔8>0


    √
    √
    2. Construya la tabla de verdad y clasifique las proposiciones
    a) (𝑝 → 𝑞) ↔ (~p ∨ 𝑞) b) 𝑝 ∧ (𝑞 ∨ 𝑟) ↔ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
    3. Utilizando tablas de verdad determinar si la siguiente proposición es una tautología, una
    contradicción o una contingencia:
    {[(~p ∧ 𝑞) → 𝑞] ↔ [~q ↔ (𝑝 ∨ 𝑟)]}∨{(𝑝 ↔ 𝑞)∧(𝑞 ∨ ~𝑟)}
    4. ¿Cuáles son tautologías?
    a) [(𝑝 ∨ ~q) ∧ 𝑞] → 𝑝 b) [(𝑝 ∧ 𝑞) ∨ 𝑞] ↔ 𝑞
    c) [~p ∧ (𝑞 ∨ ~r)] ↔ [(~p ∧ 𝑞) ∨ ~(𝑝 ∨ 𝑟)]
    5. De las siguientes proposiciones ¿cuáles son equivalentes entre sí?
    a) Es necesario que Juan no vaya al partido para que termine su tarea.
    b) No es cierto que Juan termine su tarea y vaya al partido
    c) Juan no terminará su tarea y no irá al partido.
    6. Demostrar que las tres proposiciones siguientes son equivalentes:
    a) ~ (𝑞 ∨ ~p) ∨ 𝑞 ∧ (𝑟 ∨ ~p) b) (𝑝 ∧ ~q) ∧ [~q ∨ (~r ∨ 𝑝)]
    c) ~[~q → ~p] ∧ [𝑞 → ~(𝑝 → 𝑟)]
    7. Cuáles de las siguientes proposiciones son equivalencias lógicas
    a) ~(𝑞 → ~p) ↔ (𝑞 ∨ 𝑝)
    b){(~p ∧ ~q) ∨ ~q} ↔ ~[(𝑝 ∨ 𝑞) ∧ 𝑞]
    c) ~(𝑝 → 𝑞) ↔ [(𝑝 ∨ 𝑞) ∧ ~q]
    8. Usando leyes lógicas simplificar las siguientes proposiciones
    a) ~[~(~p ∨ 𝑞) ∧ (𝑝 ∧ 𝑞)] → {𝑟 ∨ (~s ∧ 𝑠) ∧ [(𝑚 ∨ ~n) → 𝑓]}
    b) (𝒑 ∨ 𝒒) ∧ [(𝒓 ∧ 𝒒) ∨ (𝒒 ∨ ~𝒓)] c) (𝒑 ∧ 𝒒) ∨ (𝒑 ∧ ~q) ∨ (~p ∧ ~q)
    d) ~(~p ∨ ~q) ∨ (~p ∧ 𝑞) ∨ ~(𝑝 ∨ 𝑞) e) ~{~(~p ∨ 𝑞) ∨ ~p} → ~[(𝑝 ∨ 𝐹) → (𝑟 ∨ 𝑉)]
    f) ~{~[~(𝑝 ∨ 𝑞) → (~p ∧ ~q)]} g) ~[~(𝑝 ∧ 𝑞) → ~q] ∨ [𝑞 ∧ (𝑝 ∨ 𝑞)]
    h) [(~p ∧ 𝒒) → (𝒓 ∧ ~r)] ∧ ~q i) (𝒒 ∨ 𝒓) ∨ {[(𝒑 ∧ 𝒒) ∨ 𝒓] ∧ (𝒓 ∨ ~q)}
    j) ~[~(𝑝 ∧ 𝑞) → ~q] ∨ 𝑝 k) ~[~(𝒑 → ~q) ∧ 𝒑 ∧ ~q] ∧ [(𝒑 ∧ 𝒒) ∨ ~p ∨ 𝒓]
    l) (~p → 𝑟) ∧ [(𝑝 ∧ ~r) ∨ (~p ∧ ~r) ∨ (~p ∧ 𝑟)] ∧ (𝑝 ∨ ~r)
    m) [(𝒑 ∧ 𝒒) ∨ ~r ∨ ~s ∨ ~t] ∧ [(𝒑 ∧ 𝒒) ∨ (𝒓 ∧ 𝒔 ∧ 𝒕)]
    n) 𝒓 ∨ (𝒒 ∧ ~r) ∨ (~q ∧ 𝒑) o) (𝒓 ∧ ~p) ∨ (𝒒 ∧ ~r) ∨ (𝒑 ∧ ~q) ∨
    (𝒑 ∧ 𝒒 ∧ 𝒓)
    p) (𝑝 ∧ ~p) ∨ 𝑝 ∧ ~p ∨ (𝑞 ∧ 𝑟) ∧ (𝑟 ∧ 𝑠 ∧ 𝑡) ∨ ~(𝑟 ∧ 𝑠 ∧ 𝑡)
    q) [(𝑝 ∧ ~q) ∨ (𝑞 ∧ ~r) ∨ (𝑟 ∧ ~p)] ∨ 𝑝 ∧ ~p ∨ (𝑞 ∧ 𝑟) ∧ (𝑟 ∧ 𝑠 ∧ 𝑡) ∨ ~(𝑟 ∧ 𝑠 ∧ 𝑡)
    9. Usando las reglas de inferencia verifique la validez de los siguientes razonamientos. (Por el
    método directo e indirecto).

    a) Demostrar H: b)Demostrar 𝑝 → 𝑞 c) Demostrar: 𝑟 ∨ 𝑠 d) Demostrar 𝑝 ∧ 𝑞


    1 p→ s 1. 𝑐∨𝑑
    1 ~k → ~l 2. 𝑐 ∨ 𝑑 → ~f
    2 ~l → 𝑚 2 r→𝑞
    3. ~f → (𝑎 ∧ ~b)
    3 ~k 3 𝑝→𝑟
    4. (𝑎 ∧ ~b) → 𝑟 ∧ 𝑠
    1. (𝑞 ∧ 𝑝) ∨ 𝑠
    2. 𝑟 → ~s
    3. 𝑡 → ~s
    4. ~r → 𝑡

    e) [𝑝 ∨ (𝑞 → 𝑟)] ∧ ( ~p ∧ ~r) → ~q f) [(𝑝 → 𝑞) ∧ (𝑞 → ~r) ∧ 𝑝] → ~r


    g) [( ~p → 𝑞) ∧ (𝑞 → ~r) ∧ (𝑟 → 𝑠) ∧ ~s] → ~p
    h) (𝑡 ∨ 𝑢) ∧ 𝑒 ∧ (𝑟 ∨ 𝑚) ∧ 𝑒 → 𝑞 ∧ ~𝑡 ∧ [(𝑎 ∨ 𝑢) → 𝑟]

    10. Hallar el circuito lógico más simple para la siguiente función booleana.
    a) (~p) ↔ [𝑝 → ~q]
    b) ~[(𝑝 ∨ ~q) ∨ (𝑝 ∧ ~r) ∨ ~(𝑟 ∨ 𝑞 ∨ ~p)]

    11. Dados los siguientes circuitos, simplificar y hallar los circuitos equivalentes
    a)
    q

    p q r

    r ~q
    b)
    p
    ~P

    q ~q

    ~P

    ~P q
    c)
    p r ~q

    q
    p q
    q
    p ~q
    ~r
    ~r q ~P ~q

    r ~q

    d)

    p ~q

    q ~r

    r ~p

    ~p r s t

    p
    ~r
    q r
    ~s

    ~t

    También podría gustarte