Professional Documents
Culture Documents
Homework #1 - Discrete Mathematics
Homework #1 - Discrete Mathematics
Corpuz
Discrete Mathematics
January 13, 2004
Dr. Hairong Kuang
Homework #1
5.
Several forms of negation are given for each of the following statements. Which are correct?
a.
Answer: In this particular situation there are two forms which negate the statement above.
They are: 1 and 3.
b.
Answer: In this case, 1, 2, and 3 all negate the statement cucumbers are green AND
seedy.
c.
Answer: Finally statements 1, 2, 3 and 4 all negate the primary statement above.
13. Using letters for component statements, translate the following compound
statements into symbolic notation.
a.
b.
Tax rates will be reduced only if Anita wins the election and the economy
remains strong.
Answer:
A: Tax rates will be reduced.
d.
e.
The economy will remain strong if and only if Anita wins the election or tax rates
are reduced.
Answer:
A: The economy will remain strong.
B: Anita wins the election.
C: Tax rates are reduced.
(B \/ C) A
14. Construct truth tables for the following well formed formulae. Note any tautologies or
contradictions.
c. A /\ (A \/ B)
Answer:
A
0
0
1
1
B
0
1
0
1
A
1
1
0
0
B
1
0
1
0
(A \/ B)A /\ (A \/ B)
1
1
1
0
0
0
1
0
e. (A B) [(A \/ C) (B \/ C)]
Answer:
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
(A B)
1
1
1
1
0
0
1
1
(A \/ C)
0
1
0
1
1
1
1
1
(B \/ C)
0
1
1
1
0
1
1
1
(A B) [(A \/ C) (B \/ C)]
1
1
1
1
1
1
1
1
Please take note that this particular well formed formula is a tautology.
g. A /\ B B \/ A
Answer:
A
0
0
1
1
B
0
1
0
1
A
1
1
0
0
B
1
0
1
0
A /\ B
0
0
0
0
B \/ A
1
1
1
0
A /\ B B \/ A
0
0
0
0
Please take note that this well formed formula is a contradiction with any value.
i. [(A \/ B) /\ C] A \/ C
Answer:
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
[(A \/ B) /\ C] A \/ C
1
1
1
1
1
1
0
1
A
1
1
1
1
0
0
0
0
B
1
1
0
0
1
1
0
0
C
1
0
1
0
1
0
1
0
(A \/ B)
0
0
0
0
0
0
1
1
A \/ C
1
1
1
1
0
0
0
1
(A \/ B) /\ C
0
0
0
0
0
0
1
0
B
0
1
0
1
A \/ B
0
1
1
1
A A \/ B
1
1
1
1
(A /\ B) A \/ B
B
0
1
0
1
A
1
1
0
0
B
1
0
1
0
(A /\ B)
1
1
1
0
A \/ B
1
1
1
0
(A /\ B) A \/ B
1
1
1
1