検討 公式 5, 6の証明
上の公式 5(上) の証明
(a+b)(a°-ab+6')=a(a°-ab+6)+6(α°-ab+が)
a°- ab+ 6°
×)a+ b
a-a'b+ab°
a°b-ab+6
=°-a°b+ab°+α°b-ab°+6
=a°+6
【公式5(下)も同様に証明できる。]
a°
+が
上の公式6(上)の証明
(a+b)°=(a+b)(a+b)*=(a+b)(a"+2ab+6)
=a(a°+2ab+6°)+6(α°+2ab+6)
=+2a°b+ab°+α'b+2ab°+ぴ=α+3a'b+3a6°+6°
(公式6(下)も同様に証明できる。]