Article · Русский
В булевой алгебре, теорема согласованности — это следующее тождество: Доказательство этой теоремы: = = = = Дуальное представление этого же уравнения:
Abstract from DBpedia / Wikipedia · CC BY-SA
В булевой алгебре, теорема согласованности — это следующее тождество: Доказательство этой теоремы: = = = = Дуальное представление этого же уравнения:
Abstract from DBpedia / Wikipedia · CC BY-SA