Scribd Logo
Upload

Welcome to Scribd!

  • Tarea 1 Cruz Romero Cristofher Omar 26-Feb-21 1NV21

    Uploaded by

    Cristofher Omar Cruz Romero
    13 views2 pages
    The document contains 4 truth tables analyzing different logical statements: 1) Analyzes the statements A, B, A->B, ¬B, ¬A, and ¬B->¬A. 2) Analyzes the statements A, B, A->B, A, ¬B, A∧¬B, and ¬(A∧¬B). 3) Analyzes the statements A, B, A->B, A, ¬B, A->¬B, and ¬(A->¬B). 4) Analyzes the statements B, A, B->A, A, B->A, A∧(B

    Original Description:

    Original Title

    Tarea1_TablasdeVerdad

    Copyright

    © © All Rights Reserved

    Available Formats

    XLSX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document contains 4 truth tables analyzing different logical statements: 1) Analyzes the statements A, B, A->B, ¬B, ¬A, and ¬B->¬A. 2) Analyzes the statements A, B, A->B, A, ¬B, A∧¬B, and ¬(A∧¬B). 3) Analyzes the statements A, B, A->B, A, ¬B, A->¬B, and ¬(A->¬B). 4) Analyzes the statements B, A, B->A, A, B->A, A∧(B

    Copyright:

    © All Rights Reserved
    Download as XLSX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    13 views2 pages

    Tarea 1 Cruz Romero Cristofher Omar 26-Feb-21 1NV21

    Uploaded by

    Cristofher Omar Cruz Romero
    The document contains 4 truth tables analyzing different logical statements: 1) Analyzes the statements A, B, A->B, ¬B, ¬A, and ¬B->¬A. 2) Analyzes the statements A, B, A->B, A, ¬B, A∧¬B, and ¬(A∧¬B). 3) Analyzes the statements A, B, A->B, A, ¬B, A->¬B, and ¬(A->¬B). 4) Analyzes the statements B, A, B->A, A, B->A, A∧(B

    Copyright:

    © All Rights Reserved
    Download as XLSX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 2

    TAREA 1 Cruz Romero Cristofher Omar

    26-Feb-21 1NV21
    1)

    A B A->B ¬B ¬A ¬B ---> ¬A
    V V V F F V
    V F F V F F
    F V V F V V
    F F V V V V

    2)

    A B A-->B A ¬B A˄¬B ¬(A˄ ¬B)


    V V V V F F V
    V F F V V V F
    F V V F F F V
    F F V F V F V

    3)

    A B A-->B A ¬B A->¬B ¬(A--> ¬B)


    V V V V F F V
    V F F V V V F
    F V V F F V F
    F F V F V V F

    4)

    B A B-->A A B-->A A˄(B-->A) A


    V V V V V V V
    F V V V V V V
    V F F F F F F
    F F V F V F F

    You might also like