Троичное конструктное кодирование булевых выраженийстатья