宿題の誤植について

4月28日の宿題に誤植がありました。

誤
8. (A ∨ B → C ) → (A → C ) ∧ (A → C ),
9. (A → C ) ∧ (A → C ) → (A ∨ B → C ),

ですが、正しくは

正
8. (A ∨ B → C ) → (A → C ) ∧ (B → C ),
9. (A → C ) ∧ (B → C ) → (A ∨ B → C ),

です。