Cook-Levin teoremi: Revizyonlar arasındaki fark

<math>\emptyset_{\mathrm{kabul} }=\bigvee_{1\le i,j\le n^k}\chi_{i,j,q_{\mathrm{kabul} } }</math>
(→‎İspat: png --> tex)
(<math>\emptyset_{\mathrm{kabul} }=\bigvee_{1\le i,j\le n^k}\chi_{i,j,q_{\mathrm{kabul} } }</math>)
::[[Dosya:Sat tablo2.png| 479 × 37 px]] doğrulanmalıdır.
:3. Tabloda en az bir tane N makinesine ait kabul durumu (q<small>kabul</small> ) bulunmalıdır.
::Dolayısıyla [[Dosya:Sat<math>\emptyset_{\mathrm{kabul} tablo3.png|}=\bigvee_{1\le 234i,j\le ×n^k}\chi_{i,j,q_{\mathrm{kabul} 38} px]]}</math> doğrulanmalıdır.
:4. Tablodaki konfigürasyonlar arasındaki geçiş N makinesinin kurallarına uygun olmalıdır.
::Dolayısıyla [[Dosya:Sat tablo4.png| 568 × 40 px]] doğrulanmalıdır.
78

düzenleme