Metadata
Author: Literature
Data
English[en]
But this also means that taking the red nodes as “true”, we get a value assignment satisfying B.
Hungarian[hu]
De ez azt is jelenti, hogy „igaznak” véve a piros pontokat, egy olyan értékadást kapunk, mely B-t kielégíti.