排他的論理和

A,B,C(仮定)A→A∨(B∨C)(∨導入→導入)B→A∨(B∨C)(∨導入→導入)C→A∨(B∨C)(∨導入→導入)A∨B(仮定)A∨(B∨C)(∨除去)A∨B→A∨(B∨C)(→導入)(A∨B)∨C(仮定)A∨(B∨C)(∨除去)(A...