Брусенцов, Н. П. Компьютеризация булевой алгебры [Текст] / Н. П. Брусенцов, Ю. С. Владимирова> // Доклады Академии наук. - 2004. - Т. 395, N 1. - С. 7-10 . - ISSN 0869-5652
Рубрики: Математика Алгебра Кл.слова (ненормированные): алгебра логики -- булева алгебра -- булевы выражения -- дизъюнкция -- индивидные конъюнкции -- компьютеризация алгебры -- конъюнкция -- языки программирования Аннотация: Представление булевых выражений ДК-шкалами позволяет просто и эффективно компьютеризировать алгебру СДНФ-выражений, поскольку операции отрицания, конъюнкции и дизъюнкции этих выражений реализуются как инверсия, пересечение и объединение ДК-шкал, т. е. как побитные отрицание, конъюнкция и дизъюнкция булевых векторов, отображающих шкалы. Доп.точки доступа: Владимирова, Ю. С. |