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