It is a straightforward full-adder circuit but it is made directly out of the kmaps for both outputs.
Standard full-adder usage. But the implementation is different though.
None.