(P&Q)∨(P&R)├P&(Q∨R)
どの方向に仮定していけばいいかすら見当つきません。
ご指導よろしくお願いします