Posted: January 7th, 2022

Use predicates (i) through (x) to answer the following questions.

Verify your computations with the logic coverage tool on the book

website.

i. p = a ∧ ( b ∨ c)

ii. p = a ∨ (b ∧ c)

iii. p = a ∧ b

iv. p = a → (b → c)

v. p = a ⊕ b

i. p = a ↔ (b ∧ c)

vii. p = (a ∨ b) ∧ (c ∨ d)

viii. p = ( a ∧ b) ∨ (a ∧ c) ∨ ( a ∧ c)

ix. p = a ∨ b ∨ (c ∧ d)

x. p = (a ∧ b) ∨ (b ∧ c) ∨ (a ∧ c)

(a) List the clauses that go with predicate p.

(b) Compute (and simplify) the conditions under which each clause

determines predicate p.

(c) Write the complete truth table for each clause. Label your rows

starting from 1. Use the format in the example underneath the

definition of Combinatorial Coverage in Section 8.1.1. That is,

Place an order in 3 easy steps. Takes less than 5 mins.