Ключевая фраза: двузначная алгебраическая система формальной логики