Diferente pentru 2-sat intre reviziile #24 si #25

Nu exista diferente intre titluri.

Diferente intre continut:

| <tex> 0 </tex> | <tex> 0 </tex> | <tex> 1 </tex>  |
| <tex> 0 </tex> | <tex> 1 </tex> | <tex> 1 </tex>  |
| <tex> 1 </tex> | <tex> 0 </tex> | <tex> 0 </tex> |
| <tex> 1 </tex> | <tex> 1 </tex> | <tex> 1 </tex> |
| <tex> 1 </tex> | <tex> 1 </tex> | <tex> 1 </tex> |
 
Fiecare clauză <tex> A \vee B </tex> poate fi scrisă ca două implicaţii <tex> \sim A \rightarrow B </tex> şi <tex> \sim B \rightarrow A </tex>. Realizăm un graf al implicaţiilor şi astfel nodurile grafului vor fi variabilele <tex> A </tex>, <tex> B </tex> ... şi negaţiile lor <tex> \sim A </tex>, <tex> \sim B </tex> ... iar muchiile acestui graf vor fi implicaţiile echivalente cu propoziţiile din expresie. Deci dacă expresia are $M$ propoziţii graful va avea $2M$ muchii.
 

Nu exista diferente intre securitate.

Topicul de forum nu a fost schimbat.