>>842

(0=0∧σ)∨(1=1∧¬σ)
-----------------------------------------------
(0=0∧σ)∨(0=1∧¬σ)∨(1=0∧σ)∨(1=1∧¬σ)

これの詳細よろ(^^;