usemux_p muxsel_p asel_p usexor_p bsel_p usemux_n muxsel_n asel_n usexor_n bsel_n->q
1 1 1 1 1 0 0 0 0 0 q=1 
0 1 1 1 1 1 0 0 0 0 q=0 
0 0 1 1 1 1 1 0 0 0 q=0 
1 0 1 1 1 0 1 0 0 0 q=1 
1 0 0 1 1 0 1 1 0 0 q=0 
0 0 0 1 1 1 1 1 0 0 q=1 
0 1 0 1 1 1 0 1 0 0 q=1 
1 1 0 1 1 0 0 1 0 0 q=1 
1 1 0 0 1 0 0 1 1 0 q=1 
0 1 0 0 1 1 0 1 1 0 q=0 
0 0 0 0 1 1 1 1 1 0 q=0 
1 0 0 0 1 0 1 1 1 0 q=0 
1 0 1 0 1 0 1 0 1 0 q=1 
0 0 1 0 1 1 1 0 1 0 q=1 
0 1 1 0 1 1 0 0 1 0 q=1 
1 1 1 0 1 0 0 0 1 0 q=1 
1 1 1 0 0 0 0 0 1 1 q=0 
0 1 1 0 0 1 0 0 1 1 q=0 
0 0 1 0 0 1 1 0 1 1 q=0 
1 0 1 0 0 0 1 0 1 1 q=1 
1 0 0 0 0 0 1 1 1 1 q=0 
0 0 0 0 0 1 1 1 1 1 q=0 
0 1 0 0 0 1 0 1 1 1 q=0 
1 1 0 0 0 0 0 1 1 1 q=0 
1 1 0 1 0 0 0 1 0 1 q=0 
0 1 0 1 0 1 0 1 0 1 q=0 
0 0 0 1 0 1 1 1 0 1 q=0 
1 0 0 1 0 0 1 1 0 1 q=0 
1 0 1 1 0 0 1 0 0 1 q=1 
0 0 1 1 0 1 1 0 0 1 q=1 
0 1 1 1 0 1 0 0 0 1 q=1 
1 1 1 1 0 0 0 0 0 1 q=0 
function: q = (usemux_p && muxsel_p && asel_p && usexor_p && bsel_p && !usemux_n && !muxsel_n && !asel_n && !usexor_n && !bsel_n || usemux_p && !muxsel_p && asel_p && usexor_p && bsel_p && !usemux_n && muxsel_n && !asel_n && !usexor_n && !bsel_n || !usemux_p && !muxsel_p && !asel_p && usexor_p && bsel_p && usemux_n && muxsel_n && asel_n && !usexor_n && !bsel_n || !usemux_p && muxsel_p && !asel_p && usexor_p && bsel_p && usemux_n && !muxsel_n && asel_n && !usexor_n && !bsel_n || usemux_p && muxsel_p && !asel_p && usexor_p && bsel_p && !usemux_n && !muxsel_n && asel_n && !usexor_n && !bsel_n || usemux_p && muxsel_p && !asel_p && !usexor_p && bsel_p && !usemux_n && !muxsel_n && asel_n && usexor_n && !bsel_n || usemux_p && !muxsel_p && asel_p && !usexor_p && bsel_p && !usemux_n && muxsel_n && !asel_n && usexor_n && !bsel_n || !usemux_p && !muxsel_p && asel_p && !usexor_p && bsel_p && usemux_n && muxsel_n && !asel_n && usexor_n && !bsel_n || !usemux_p && muxsel_p && asel_p && !usexor_p && bsel_p && usemux_n && !muxsel_n && !asel_n && usexor_n && !bsel_n || usemux_p && muxsel_p && asel_p && !usexor_p && bsel_p && !usemux_n && !muxsel_n && !asel_n && usexor_n && !bsel_n || usemux_p && !muxsel_p && asel_p && !usexor_p && !bsel_p && !usemux_n && muxsel_n && !asel_n && usexor_n && bsel_n || usemux_p && !muxsel_p && asel_p && usexor_p && !bsel_p && !usemux_n && muxsel_n && !asel_n && !usexor_n && bsel_n || !usemux_p && !muxsel_p && asel_p && usexor_p && !bsel_p && usemux_n && muxsel_n && !asel_n && !usexor_n && bsel_n || !usemux_p && muxsel_p && asel_p && usexor_p && !bsel_p && usemux_n && !muxsel_n && !asel_n && !usexor_n && bsel_n)