Scribd Logo
Upload

Welcome to Scribd!

  • Quiz - Unit 1.4

    Uploaded by

    Yonatan Kesselman
    325 views2 pages
    1. The document discusses simplifying propositional logic statements using equivalence rules. It provides an example to simplify ((P ∧ Q) ∨ Q) ∧ ((P ∧ Q) ∨ P) using distribution and other rules. 2. Truth tables are used to determine if two propositions are equivalent: ¬((P ∨ Q) ∧ (¬P)) and ¬(P → Q). They are not equivalent. 3. Another set of propositions are tested for equivalence using truth tables: ((¬P) ∨ (¬Q)) → R and (R ∧ P) ∨ (¬Q). These are also not equivalent.

    Original Description:

    Original Title

    Quiz - unit 1.4

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    1. The document discusses simplifying propositional logic statements using equivalence rules. It provides an example to simplify ((P ∧ Q) ∨ Q) ∧ ((P ∧ Q) ∨ P) using distribution and other rules. 2. Truth tables are used to determine if two propositions are equivalent: ¬((P ∨ Q) ∧ (¬P)) and ¬(P → Q). They are not equivalent. 3. Another set of propositions are tested for equivalence using truth tables: ((¬P) ∨ (¬Q)) → R and (R ∧ P) ∨ (¬Q). These are also not equivalent.

    Copyright:

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

    Quiz - Unit 1.4

    Uploaded by

    Yonatan Kesselman
    1. The document discusses simplifying propositional logic statements using equivalence rules. It provides an example to simplify ((P ∧ Q) ∨ Q) ∧ ((P ∧ Q) ∨ P) using distribution and other rules. 2. Truth tables are used to determine if two propositions are equivalent: ¬((P ∨ Q) ∧ (¬P)) and ¬(P → Q). They are not equivalent. 3. Another set of propositions are tested for equivalence using truth tables: ((¬P) ∨ (¬Q)) → R and (R ∧ P) ∨ (¬Q). These are also not equivalent.

    Copyright:

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

    Discrete Mathematics

    Unit 1.4 – Equivalence

    1. Use Distributivity and the rest of the equivalencies learned in class to simplify the
    following proposition :

    ((𝑃 ∧ 𝑄) ∨ 𝑄) ∧ ((𝑃 ∧ 𝑄) ∨ 𝑃)

    In addition to the equivalencies learned in class you can also use the following :

    𝑃∨ 𝑃 = 𝑃 ∧𝑃 = 𝑃

    2. Use a truth table to determine whether the following propositions are equivalent:
    1) ¬((𝑃 ∨ 𝑄) ∧ (¬𝑃))
    2) ¬(𝑃 → 𝑄)
    3. Use a truth table to determine whether the following propositions are equivalent:
    1) ((¬𝑃) ∨ (¬𝑄)) → 𝑅
    2) (𝑅 ∧ 𝑃) ∨ (¬𝑄)

    -1-
    Answers

    1. ((𝑃 ∧ 𝑄) ∨ 𝑄) ∧ ((𝑃 ∧ 𝑄) ∨ 𝑃) = (𝑃 ∧ 𝑄) ∨ (𝑃 ∧ 𝑄) = 𝑃 ∧ 𝑄
    2.

    (𝑷 ∨ 𝑸) ¬((𝑷 ∨ 𝑸) ¬(𝑷
    P Q ¬𝑷 𝑷∨𝑸 𝑷→𝑸
    ∧ (¬𝑷) ∧ (¬𝑷)) → 𝑸)

    T T F T F T T F

    T F F T F T F T

    F T T T T F T F

    F F T F F T T F

    The truth tables for these two propositions are not the same, therefore these
    propositions are not equivalent.

    3.

    (𝑹 ∧ 𝑷) (¬𝑷 (¬𝑷 ∨ ¬𝑸)


    P Q R 𝐑∧𝐏 ¬𝑸 ¬𝑷
    ∨ (¬𝑸) ∨ ¬𝑸) →𝑹

    T T T T F T F F T

    T T F F F F F F T

    T F T T T T F T T

    T F F F T T F T F

    F T T F F F T T T

    F T F F F F T T F

    F F T F T T T T T

    F F F F T T T T F

    The truth tables for these two propositions are not the same, therefore these
    propositions are not equivalent.

    -2-

    You might also like