логический автоморфизм

Мат. logic automorphism