Сокращение ранга конъюнкции, представляющей корень логического уравненияСокращение ранга
конъюнкции, представляющей корень логического уравнения
Поиск конъюнкций ЭНФ и инверсии ЭНФ для комбинационных цифровых схемПоиск
конъюнкций ЭНФ и инверсии ЭНФ для комбинационных цифровых схем
Социальное бессознательное как условие и фактор социальной конъюнкцииСоциальное бессознательное как условие и фактор социальной
конъюнкции Об алгоритмических свойствах алгебры конечных подмножеств некоторых уноидов алгебры конечных подмножеств может быть существенно проще алгоритмически, чем теория исходной, а
операция ЭФФЕКТИВНЫЙ КРИТЕРИЙ ДЕДУКТИВНОСТИ МНОЖЕСТВ ФОРМУЛ ЛОГИКИ логика называется хорошо определённой,
если она обладает свойством
конъюнкции и для неё верна теорема о