いきなり低レベルな質問かもしれませんが、
論理式A∧(B∧C)⊃(A∧B)⊃C
の証明図ってどう書けばいいのでしょうか？
バイト明けで学校行ったら案の上眠りに落ちて
課題出されて困り果てました。。