Scribd Logo
Upload

Welcome to Scribd!

  • 18 views

    Tugas Logmat Yunarko

    Uploaded by

    Mahadewa Siwa
    The document contains information about a student named Yunarko Adi Nugroho from the Computer Science program at Prosus Technik Informatika university with student ID 18532940. It then provides two logic expressions and shows their conversions between disjunctive normal form (DNF) and conjunctive normal form (CNF).

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd

    Tugas Logmat Yunarko

    Uploaded by

    Mahadewa Siwa
    18 views3 pages
    The document contains information about a student named Yunarko Adi Nugroho from the Computer Science program at Prosus Technik Informatika university with student ID 18532940. It then provides two logic expressions and shows their conversions between disjunctive normal form (DNF) and conjunctive normal form (CNF).

    Original Title

    TUGAS LOGMAT YUNARKO.docx

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    The document contains information about a student named Yunarko Adi Nugroho from the Computer Science program at Prosus Technik Informatika university with student ID 18532940. It then provides two logic expressions and shows their conversions between disjunctive normal form (DNF) and conjunctive normal form (CNF).

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Download as docx, pdf, or txt
    18 views3 pages

    Tugas Logmat Yunarko

    Uploaded by

    Mahadewa Siwa
    The document contains information about a student named Yunarko Adi Nugroho from the Computer Science program at Prosus Technik Informatika university with student ID 18532940. It then provides two logic expressions and shows their conversions between disjunctive normal form (DNF) and conjunctive normal form (CNF).

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Download as docx, pdf, or txt
    of 3

    NAMA = YUNARKO ADI NUGROHO

    NIM = 18532940

    KELAS = PROSUS TEKNIK INFORMATIKA

    1. (~A ∧ (~B→C))↔D

    A B C D ~A ~B ~C ~B →C (~A ∧ (~B→C) (~A ∧ (~B→C))↔D


    T T T T F F F T F F
    T T T F F F F T F T
    T T F T F F T T F F
    T F F F F T T F F T
    F F T T T T F T T T
    F F T F T T F T T F
    F T F T T F T T T T
    F T F F T F T T T F
    T T T T F F F T F F
    T F T F F T F T F T
    T F F T F T T F F F
    T F F F F T T F F T
    F T T T T F F T T T
    F T T F T F F T T F
    F T F T T F T T T T
    F F F F T T T F F T
    DNF = T

    DNF = ∨ , T=9

    (A ∧ B ∧ C ∧ ∼D) ∨ (A ∧∼ B ∧∼ C ∧ ∼D) ∨ (∼A ∧ ∼B ∧ C ∧ D) ∨ (∼A ∧ B ∧ ∼C ∧ D) ∨ (A ∧ ∼B ∧ C ∧ ∼D) ∨ (A ∧ ∼B ∧∼ C ∧ ∼D) ∨ (∼A ∧ B ∧ C ∧ D) ∨ (∼A ∧ B


    ∧ ∼C ∧ D) ∨ (∼A ∧ ∼B ∧ ∼C ∧ ∼D)

    ----------------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------

    CNF = F

    CNF= ∧ , F=7

    (A ∨ B ∨ C ∨ D) ∧ (A ∨ B ∨ ∼C ∨ D) ∧ (∼A ∨ ∼B ∨ C ∨∼ D) ∧ (∼A ∨ B ∨ ∼C ∨∼ D) ∧ (A ∨ B ∨ C ∨ D) ∧ (A ∨ ∼B ∨∼ C ∨ D) ∧ (∼A ∨ B ∨ C ∨ ∼D)


    2. ∼(A → ∼C ) ∧ ( ∼ B → C)

    A B C ∼B ∼C A→∼C ∼(A → ∼C ) ∼B→C ∼(A → ∼C ) ∧ ( ∼ B → C)


    T T T F F F T T T
    T T F F T T F T F
    T F T T F F T T T
    T F F T T T F F F
    F T T F F T F T F
    F T F F T T F T F
    F F T T F T F T F
    F F F T T T F F F

    DNF = T

    DNF = ∨ , T=2

    (A ∧ B ∧ C ) ∨ ( A ∧ ∼B ∧ C )

    -----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

    CNF = F

    CNF= ∧ , F=6

    (A ∨ B ∨ ∼C) ∧ (A ∨ ∼B ∨ ∼C) ∧ (∼A ∨ B ∨ C) ∧ (∼A ∨ B ∨ ∼C) ∧ (∼A ∨∼ B ∨ C) ∧ (∼A ∨ ∼B ∨ ∼C)


    (A ∨ B ∨ C ∨ D) ∧ (A ∨ B ∨ ∼C ∨ D) ∧ (∼A ∨ ∼B ∨ C ∨∼ D) ∧ (∼A ∨ B ∨ ∼C ∨∼ D) ∧ (A ∨ B ∨ C ∨ D) ∧ (A ∨ ∼B ∨∼ C ∨ D) ∧ (∼A ∨ B ∨ C ∨ ∼D)

    You might also like