28154 AL_29_02 - SAT Solver

[manjaro]

Ktoś rozumie poza autorem o co chodzi z tym przykładem?
"Test odpowiada formule logicznej (x1 /\ ~x2) \/ ~x2 której wartościowanie spełniające to na przykład x1 = 1, x2 = 0."
Moje pytanie jest takie:
1. Skąd wzięły się liczby 1 oraz 0
2. Jak niby (1*0) V 0 daje TAK

[mariusz193]

znak ~ oznacza negację

[manjaro]

Nic mi to nadal nie mówi.
Poza tym co oznacza że formuła logiczna jest spełniona? Formuła logiczna daje 1 albo 0 ( z logiki). Ale co znaczy że jest spełniona? Że daje 1?

[mariusz193]

Ale co znaczy że jest spełniona? Że daje 1?

zapewne tak, a jeżeli chodzi o znak ~, to polecam google -> operatory logiczne

[manjaro]

Znam matematykę logiczną, ba znałem już ponad 20 lat temu. Ale to operacje na stanach zero-jedynkowych a nie na liczbach. Znam prawa De Morgana. Ale nie kojarzę iterałów i klauzul.

[mariusz193]

klauzula

[narbej]

Ale nie kojarzę iterałów ...

Też nie kojarzę, ale może google kojarzy?, ale nie iterał, tylko literał:
https://pl.wikipedia.org/wiki/Litera%C5%82
https://pl.wikipedia.org/wiki/Litera%C5%82_logiczny

PS
Zadanie, po zrozumieniu go, nie wydaje się zbyt trudne - faktycznie jest w odpowiednim dziale, ale jak na razie mam permamentny WA. [edit] AC

PS 2

Moje pytanie jest takie:1. Skąd wzięły się liczby 1 oraz 0

Logika - w c/c++ 1 == true, 0 == false, a wzięły się stąd, że możemy dowolnie kombinować i podstawiać pod zmienne true lub false.

.. Jak niby (1*0) V 0 daje TAK

formule logicznej (x1 /\ ~x2) \/ ~x2 której wartościowanie spełniające to na przykład x1 = 1, x2 = 0

(x1 /\ ~x2) \/ ~x2 ==> (1 /\ ~0 ) \/ ~0 ==> (1 /\ 1) \/ 1 ==> 1 \/ 1 ==> 1 czyli jest spełnialna [TAK]

[manjaro]

Dziękuję @narbej za odpowiedź.
Dopiero teraz zakumałem, że te zmienne x1 oraz x2 mogą przyjmować jedynie wartości zerojedynkowe a nie dowolne liczby. Poza tym znak ~ kojarzyłem z liczbą przeciwstawną do liczby rzeczywistej, a nie stanu (true, false)
Czyli trzeba tak podstawiać za zmienne wartości (0,1) aby dało nam wynik 1
Jeżeli da 1 to mamy TAK
Jeżeli przy wszystkich kombinacjach nie osiągniemy 1 to mamy NIE.
Jeżeli dobrze to zrozumiałem to chyba nie powinno być trudności z tym zadaniem.