Scribd Logo
Upload

Welcome to Scribd!

  • Lina Fadilah Assignment 1 & 2 Logic

    Uploaded by

    Lina Fadilah
    11 views3 pages
    This document contains information about an assignment submitted by Lina Fadilah, a student with student ID number 10511605 in the IS-BU class. It includes definitions of logical propositions based on given truth values, construction of a truth table, and a second assignment to derive new logical propositions through a series of logical equivalences.

    Original Description:

    Original Title

    Proposition Lina

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document contains information about an assignment submitted by Lina Fadilah, a student with student ID number 10511605 in the IS-BU class. It includes definitions of logical propositions based on given truth values, construction of a truth table, and a second assignment to derive new logical propositions through a series of logical equivalences.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    11 views3 pages

    Lina Fadilah Assignment 1 & 2 Logic

    Uploaded by

    Lina Fadilah
    This document contains information about an assignment submitted by Lina Fadilah, a student with student ID number 10511605 in the IS-BU class. It includes definitions of logical propositions based on given truth values, construction of a truth table, and a second assignment to derive new logical propositions through a series of logical equivalences.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 3

    NAMA : LINA FADILAH

    NIM : 10511605

    KELAS : IS-BU

    Assignment (1)
    If we knew : p , q = T and r, s = F Define value from these propositions : p V (q r) = T V (T F) =T = (p q r ) V ~ ((p V q) (r V s)) = (T T F) V ~ ((T V T) (F V F) = F V ~(T F) =FVT =T (~ (p q) V ~r) V (((~ p q) V~ r) s) = (~ (T T) V ~F) V (((~ T T) V~ F) F) = (F V T) V (T F) =TVF =T From these propositions below make a truth table : (p q) (p q) p q (p q) (p q) T T F F T F T F T F F F T F T T

    (p q) (p q) T T T T

    ~ (p V q) ~ (s V r) p q T T T T T T T T F T T F T F T T F T T F F T F F F T T F T T F T F F T F F F T F F T F F F F F F

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

    (p V q) T T T T T T T T T T T T F F F F

    ~ (p V q) F F F F F F F F F F F F T T T T

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

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

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

    Assignment (2)
    1. Find new propositions by developing a series of logical equivalences: p V(p q) p V ~(p V ~q) (Absorption Laws) (Idempotent Laws) (DeMorgans Laws)

    ~p ~((p ~q)V(p q)) ~p ~((p (q V ~q)) ~p ~(p B) ~p ~p ~(p V p) ~p

    (distributive laws) (Complement laws) (Bound laws) (Demorgans laws) (Idempotent laws)

    You might also like