О разделимости булевых клонов гипертождествами

Для каждой пары неизоморфных попарно несравнимых булевых клонов указано гипертождество, истинное на одном из них, но ложное на другом. С учетом полученных ранее результатов К. Денеке тем самым доказано, что каждый булев клон однозначно (с точностью до изоморфизма) определяется своими гипертождествами.
Ил. 1.
Табл. 1.
Библиогр. 13.