1. D, Y, T

a. T ⇒ [D ∧ Y]

b. D ⇒ ¬ Y

c. ¬ D ⇒ ¬ T

d. T ⇒ ¬ (D ∧ Y)

e. ¬ D ∧ Y ∧ T , T ⇒ [¬ D ∧ Y], following means “then or and”, they are all conjunctions relationship.

f. (T ∧ Y) ⇒ ¬ D , T ⇒ [Y ⇒ ¬ D]

g. T ⇒ [D ⇔ Y], T⇒ [(D ⇒Y) ∧ (Y⇒D)]

h. T ⇒ (¬D ∧ Y) ∨ (D ∧ ¬Y)

2. Truth table

| φ | ¬φ | ψ

φ⇒ψ¬φ∨ψ
TFTTT
TFFFF
FTTTT
FTFTT

3 Conclusions of above table

φ⇒ψ = ¬φ∨ψ

4 truth table

| φ | ψ | ¬φ | φ⇒ψ | φ̸⇏ψ | φ∧¬ψ

TTFTFF
TFFFTT
FTTTFF
FFTTFF

5 Conclusions of above table

φ̸⇏ψ = φ∧¬ψ

Woman swerves and sleeping dogs

V = Views Dog

S = Swerves

VSV**⇒S**
TTT
TFF
FTT