【正确答案】1．证： 　（1）（A∨B）∨C 前提 　（2）B 假设1 　（3）A∨B （2）析取引入 　（4）B∨C （2）析取引入　　 （5）（A∨B）→（B∨C） （3）、（4），蕴涵引入（消去假设1（2）） 　（6）C 假设2 　（7）B∨C （6）析取引入 　（8）C→（B∨C） （6）、（7），蕴涵引入（消去假设2（6）） 　（9）B∨C （1）、（5）、（8），析取消去 　（10）A ∨（B∨C） （9），析取引入 2．证： 　（1）A ∧（B∨C） 前提 　　　　　　　 （2）A （1）合取消去 　（3）B∨C （1）合取消去　　　　　　　 （4）B 假设1 　（5）A∧B （2）、（4），合取引入　　　　　　（6）（A∧B）∨（ A∧C） （5），析取引入 　（7）B→（A∧B）∨（ A∧C） （4）、（6），蕴涵引入（消去假设1（4）） 　（8）C 假设2 　（9） A ∧C （2）、（8），合取引入 　（10）（A ∧B）∨（ A∧C） （9），析取引入 　（11）C→（A ∧B）∨（ A∧C） （8）、（10），蕴涵引入（消去假设2（8）） 　（12）（A ∧B）∨（ A∧C） （3）、（7）、（11），析取消去