digital-logic - FullAdder - 減算 - オーバーフロー表示

Question

全加算器の真のテーブルがあります。ここで、減算にも使用できるように加算器を完成させたいと思います（オーバーフローインジケーター付き）。(OF = XYS'+ X'Y's)

x y cin --- cout s
0 0 0   ---   0  0
0 0 1   ---   0  1
0 1 0   ---   0  1
0 1 1   ---   1  0
1 0 0   ---   1  1
1 0 1   ---   1  0
1 1 0   ---   1  0
1 1 1   ---   1  1

cout = xy + xc + yc s = x'y'c+ x'yc'+ xy'c'+ xyc

減算の真の表は次のようになると考えていました。

sub s x y --- overflow
0   0 0 0 --- 0
0   0 0 1 --- 0
0   0 1 0 --- 0
0   0 1 1 --- 1
0   1 0 0 --- 1
0   1 0 1 --- 0
0   1 1 0 --- 0
0   1 1 1 --- 0

この表は正しいですか？

または私はこれを使用する必要があります

0   0 0 0 --- 0
0   0 0 1 --- 0
0   0 1 0 --- 0
0   0 1 1 --- 1    === can any one explain why i got 1 in the overflow here?
0   1 0 0 --- 1
0   1 0 1 --- 0
0   1 1 0 --- 0
0   1 1 1 --- 0
1   0 0 0 --- 0
1   0 0 1 --- 0
1   0 1 0 --- 1                  is this the correct true table ?
1   0 1 1 --- 0
1   1 0 0 --- 0
1   1 0 1 --- 1
1   1 1 0 --- 0
1   1 1 1 --- 0

この真の表は関数 (of = overflow) で正しいですか? OF = XYS'+ X'Y's
How to make AU for this one ? 助けが必要