logic automorphism

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