transkript: 1_ Aşağıdakilerden hangisi Vx(NFA v (GB <—> Hx)) önermesinin denetlenebileceği bir modeldir? A) SM = (a,b,c), FM = (a) GM = (b). HM = (CL AM =(a1b)1BM = b B) SM : (a,b), FM : (a), GM : (b), HM : (C), AM : (a,b,c) C) SM : (a,b,c), FM : ( ), GM : (b), HM : (C), AM : a, BM : D D) SM : (a,b). FM : (a), GM : (b). HM : (c), AM : 3 E) SM : (a,b), FM : (a), GM : (b), AM : a