Consider a system with three input signals $x,y$ and max and one output signal $z.$ All signals are binary encoded non$-$negative integers.

System specification:

if $(x-y)$ belongs to the interval $0x-y$max, then $z=x-y$;

if $(x-y)>$max, then $z=$max;

if then $z=0.$

Assume that a procedure difference $(A,B,s,C)$ has been previously defined, where $A,B$ and $C$ are non$-$negative integers and $s$ is a $1-$bit number, so that it computes

the difference $A-B$ under the form $A-B=(-1{)}^5*C($s is the sign and $C$ is the absolute value of the result$).$

Which of the following algorithms properly describes the system?

difference $(x,y,a,b$;

difference $($max$,$ b$,$ c$,$ d$)$;

if $c=1$ then $e$max; else $ed$; end if;

if $a=1$ then $z0$; else $ze$; end if;

difference $(x,y,a,b)$;

difference$($max$,$ b$,$ c$,$ d$)$;

if $c=1$ then $e$max; else $eb$; end if;

if $a=1$ then $z0$; else $zd$; end if;

difference $(x,y,a,b)$;

difference $($max$,$ b$,$ c$,$ d$)$;

if $c=1$ then $e$max; else $eb$; end if;

if $a=1$ then $z0$; else $ze$; end if;

Consider a system with three input signals $x,y$ and max and one output signal $z.$ All signals are binary encoded non$-$negative integers.

System specification:

if $(x-y)$ belongs to the interval $0x-y$max, then $z=x-y$;

if $(x-y)>$max, then $z=$max;

if then $z=0.$

Assume that a procedure difference $(A,B,s,C)$ has been previously defined, where $A,B$ and $C$ are non$-$negative integers and $s$ is a $1-$bit number, so that it computes

the difference $A-B$ under the form $A-B=(-1{)}^5*C($s is the sign and $C$ is the absolute value of the result$).$

Which of the following algorithms properly describes the system?

difference $(x,y,a,b$;

difference $($max$,$ b$,$ c$,$ d$)$;

if $c=1$ then $e$max; else $ed$; end if;

if $a=1$ then $z0$; else $ze$; end if;

difference $(x,y,a,b)$;

difference$($max$,$ b$,$ c$,$ d$)$;

if $c=1$ then $e$max; else $eb$; end if;

if $a=1$ then $z0$; else $zd$; end if;

difference $(x,y,a,b)$;

difference $($max$,$ b$,$ c$,$ d$)$;

if $c=1$ then $e$max; else $eb$; end if;

if $a=1$ then $z0$; else $ze$; end if;