Section A:: Problem 1
Section A:: Problem 1
Section A:: Problem 1
Problem 1
i. Check the validity of the following argument:
If you are a chef, then you work in the hotel. If you don’t like cheese, then you don’t work
in the hotel. Therefore, if you are chef, then you like cheese.
Solution:
Let us consider,
then,
according to question,
p → q, r→¬q ├ p →¬r
X = [( p→ q) ∧ (r→¬q)] → (p→¬r)
hence, from truth table it is prove that X = [( p→ q) ∧ (r→¬q)] → (p→¬r) is tautology. So,
the given argument is valid.
ii. Explain, without using a truth table, why (p ∨¬q) ∧(q ∨¬r) ∧(r ∨¬p) is true when p, q,
and r have the same truth value and it is false otherwise.
Ans:
There are three individual propositions for this compound proposition. Rather significant
is that p, q and r appear within each respectively. Furthermore the negation of p, q and r
appear within respectively such as:
Due to the ∨(disjunction) within each proposition having the same truth value ensures that
at least one of the propositional variables within the individual proposition will be true
i.e.
(p ∨¬q) = (T ∨ F) = T
(q ∨¬r) = (T ∨ F) = T
(r ∨¬p) = (T ∨ F) = T
And
T ∧ T∧ T = T
Thus, the compound proposition will be true if p, q and r have same truth value. However,
if even one of the propositional variables has a different truth value than the other two,
the compound proposition become false.
Problem 2
i. Design a circuit using the 3 steps of circuit design for the following truth table:
A B C X
1 1 1 1
1 1 0 1
1 0 1 1
1 0 0 0
0 1 1 1
0 1 0 0
0 0 1 0
0 0 0 0
Solution:
Step: 1
There is a 1 in lines 1, 2, 3 and 5 of the output column. The sub-expressions which will
return 1 in these lines are, respectively ABC, ABC’, AB’C and A’BC
Step: 2
Step: 3
Figure 1: Circuit
ii. Build a digital circuit that produces the output (p ∨¬r) ∧(¬p ∨(q ∨¬r)) when given
input bits p, q, and r. Also, construct the truth table.
Ans:
The digital circuit that produces the output (p ∨¬r) ∧ (¬p ∨ (q ∨¬r)) when given input
bits p, q, and r is shown below:
Ans:
De-Morgan laws state that the complement of the union of two sets is equal to the
intersection of their complements and the complement of the intersection of two sets is
equal to the union of their complements.
Solution
Given,
n(M ∩ S) = 10
n(S ∩ L) = 14
n(M ∩ L) = 12
n(M ∩ S ∩ L) = 6