COMP107 Tutorial Four solutions 2021

ε abba bababb baaaa

a) No Yes Yes No
1.
b) No Yes Yes No
c) Yes No Yes No

2. a) 0 ∗ 10 ∗ 10 ∗
b) (0 ∨ 1) ∗ (00 ∨ 11)(0 ∨ 1) ∗
c) (1 ∨ ϵ)(01) ∗ (0 ∨ ϵ)

3. (1(0 ∨ 1) ∗ 1) ∨ (0(0 ∨ 1) ∗ 0) ∨ 0 ∨ 1

4. a) (a ∨ b) ∗ aaa(a ∨ b) ∗
b) (b ∨ ab ∨ aab) ∗ (a ∨ aa )(b ∨ ba ∨ baa) ∗
c) b ∗ ab ∗ ab ∗ ab ∗
d) (b ∗ ab ∗ ab ∗ a) (b ∗ ab ∗ ab ∗ a) ∗ b ∗

5. A contingent sentence is one which may be true or false. A sentence is a tautology or contradiction as a
matter of logic.
1. contingent
2. contingent
3. contingent
4. tautology
5. contradiction
6. contingent

6. 1. A∨E
2. A→C
3. E → ¬C
4. B ∨D
5. C↔D
6. F →C
7. ¬F → (C ∨ B)
8. A ↔ ¬E
9. D∨E
10. A→F
11. C ∧ ¬B
12. D