سلام.
هرچند ساده ترین و رایجترین روش کنکوری روش همان جایگذاری است اما حلش رو میگذارم.
در حالت کلی دو گزینه زیر معادل هم هستند:
[tex]a\bigoplus b = \bar{a}b a\bar{b}[/tex]
و
[tex]\bar{a}\bigoplus \bar{b} = a\bar{b} \bar{a}b[/tex]

پس با ساده سازی گزینه ۳ بصورت زیر عمل میکنیم:

[tex]S = \bar{a} \bigoplus \bar{b}\bigoplus \bar{C_{in}}[/tex]
[tex]C_{out} = \overline{(\overline{(\bar{a}\bigoplus \bar{b})} \bar{C_{in}})} \overline{(\bar{a} \bar{b})}[/tex]
برای S که واضح هست، برای Cout هم اگه ساده سازی بیشتری رو انجام بدیم دقیقا معادل با تمام جمع کننده شکل اولی میشود، بصورت:
[tex]C_{out} = \overline{(\overline{(\bar{a}\bigoplus \bar{b})} \bar{C_{in}})} \overline{(\bar{a} \bar{b})} = ((\bar{a}\bigoplus \bar{b}).C_{in}) a.b[/tex]
پس شکل ۱و۳ معادل هستند.
موفق باشید.