Z＝{(A⇒BかつB⇒C)⇒(A⇒C)}＝1

この証明をしてほしいのです。
⇒は「ならば」です。

計算していくと、
＿＿＿＿＿＿
_　　　_　 　　 _
(A＋B)^(B＋C)＋（A＋C）＝Z

になるらしいのですが、どなたか続きをお願いしますｍ（＿＿）ｍ