TQBF Problemi: Revizyonlar arasındaki fark
[kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
Superyetkin (mesaj | katkılar) Düzenleme |
Değişiklik özeti yok |
||
5. satır:
Boolean formüllerin belirleyicilerle gösterilmesine, ''belirleyici boolean formülü'' denir. Burada kullanılan uzay {0,1} den oluşur. Örnek olarak:
<math>Q=\forall x \exists y [(x \lor y) \land (\lnot x \lor \lnot y)]</math>
ifadesi bir ''belirleyici boolean formül'' dür. Burada ''Q'' ifadesi doğrudur. Fakat; <math>\forall x </math> ile <math>\exists y</math> ifadeleri yer değiştirseydi ''Q'' yanlış olacaktı.
|