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	1
0	1	1	1	1	1	0	0	0	0	0
0	0	1	1	1	1	1	0	0	0	0
1	0	1	1	1	0	1	0	0	0	1
1	0	0	1	1	0	1	1	0	0	0
0	0	0	1	1	1	1	1	0	0	1
0	1	0	1	1	1	0	1	0	0	1
1	1	0	1	1	0	0	1	0	0	1
1	1	0	0	1	0	0	1	1	0	1
0	1	0	0	1	1	0	1	1	0	0
0	0	0	0	1	1	1	1	1	0	0
1	0	0	0	1	0	1	1	1	0	0
1	0	1	0	1	0	1	0	1	0	1
0	0	1	0	1	1	1	0	1	0	1
0	1	1	0	1	1	0	0	1	0	1
1	1	1	0	1	0	0	0	1	0	1
1	1	1	0	0	0	0	0	1	1	0
0	1	1	0	0	1	0	0	1	1	0
0	0	1	0	0	1	1	0	1	1	0
1	0	1	0	0	0	1	0	1	1	1
1	0	0	0	0	0	1	1	1	1	0
0	0	0	0	0	1	1	1	1	1	0
0	1	0	0	0	1	0	1	1	1	0
1	1	0	0	0	0	0	1	1	1	0
1	1	0	1	0	0	0	1	0	1	0
0	1	0	1	0	1	0	1	0	1	0
0	0	0	1	0	1	1	1	0	1	0
1	0	0	1	0	0	1	1	0	1	0
1	0	1	1	0	0	1	0	0	1	1
0	0	1	1	0	1	1	0	0	1	1
0	1	1	1	0	1	0	0	0	1	1
1	1	1	1	0	0	0	0	0	1	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)