x∧9+x∧8=17,x=?