Post #3591
737

Теперь для каждой переменной X заведём две вершины, X и ¬X. И соединим их друг с другом и с базой — как раз это гарантирует, что кто-то из X и ¬X будет нулём, а кто-то единицей.
МА Математические байки @mathtabletalks · 4.32K subscribers 