reg is_xor msd_2 msd_2 msd_2 "([1,0,1]|[0,1,1]|[0,0,0]|[1,1,0])*"; reg is_a048715 msd_2 "(1000*)*(0*|1|10)"; eval formulas "Ax $is_a048715(x) => $is_xor(x,6*x,7*x) & $is_xor(3*x,4*x,7*x) & $is_xor(3*x,5*x,6*x)":