Тавтологии и тождества на решетках

Емельяненков, В. И.

Тавтологии и тождества на решетках

Дата публикации: 2014

Дата публикации в реестре: 2021-08-05T17:31:32Z

Аннотация:

В данной работе рассматривается построение решеточной интерпретации алгебры булевых функций, в которой обоснования логических тождеств и тавтологий выполняются как формальные процедуры вычисления значений для логических выражений.

Ключевые слова:
логические тождества, формальные процедуры, материалы конференций, алгебра, булевы функции, решеточная интерпретация, тавтологии

Тип: Статья