Na przykład w 3SAT pytaniem jest czy można tak zawartościować zmienne, żeby wszystkie zadane alternatywy trójek z negacjami (np. x lub (nie y) lub z) były spełnione.
No to potraktujmy zmienne jako liczby rzeczywiste - alternatywa (x lub y) jest spełniona
Na przykład w 3SAT pytaniem jest czy można tak zawartościować zmienne, żeby wszystkie zadane alternatywy trójek z negacjami (np. x lub (nie y) lub z) były spełnione.
No to potraktujmy zmienne jako liczby rzeczywiste - alternatywa (x lub y) jest spełniona