УДК 004.312 .2
Данилов В.В.
Представление произвольных функций трехзначной логики в базисе Поста
Национальный исследовательский ядерный университет «МИФИ»
This work describes an algorithm developed by the author. It allows representing a random three-valued logic function in the basis of ternary functions: the disjunction and the loop.
Keywords: three-valued logic; ternary function; ternary basis.
Эта работа посвящена описанию алгоритма, разработанного автором. Данный алгоритм позволяет представить произвольную функцию трехзначной логики в базисе троичных функций дизъюнкции и цикла.
Ключевые слова: трехзначная логика; троичная функция; троичный базис.
Эмиль Леон Пост показал, что в любой k-значной логике полна система, состоящая из функций дизъюнкции и цикла. В этом базисе можно представить любую функцию трехзначной логики.
Таблицы истинностей функций дизъюнкции (v) и цикла ( ) в трехзначной несимметричной логике приведены в таблице ниже (табл.1).