transkript: 9. Aşağıdakilerden hangisi Vx3y(NFA —> (Hx <—> Hy)) önermesinin denetlenebileceği bir modeldir? A) B) C) D) E) SM = (a,b), FM : (a), GM : (b), AM : a SM : (a,b), FM : (a), GM : (b,c), AM : (: SM = (a.bl FM = (8). GM = (b), AM : c sM : (am, FM : (a), GM : (b,c). AM : a sN| : (a,b), FM : a), GM : (b;, AM : a,b)