我就简单点说一下:
①A∨B<->A∨C      cp
②A∧B<->A∧C      cp
③(A∨B->A∨C)∧(A∨C->A∨B)
④A∨B->A∨C       ③ I
⑤(A∧B->A∧C)∧(A∧C->A∧B)
⑥A∧B->A∧C       ⑤( I
⑦B->C              ④⑥I
⑧  A∨C->A∨B     ③ I
⑨A∧C->A∧B         ⑤(I
⑩C->B             ⑨ ⑩ I
11:B<->C           ⑦⑩I
看你是个小女孩子,我才不辞辛苦啊!

谢谢你呀!!

不过我看不懂.

你能加上注释吗?

还有就是:“<->”不是双条件,而是等价符号.