sはaとbのxorゲートによる出力に他ならない。