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
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.