Funcția de auto-dublă este o funcție booleană. dublă în sine. O funcție dublă unei funcții este o funcție. Prin urmare, funcția este auto-duală dacă. Cu alte cuvinte, funcția auto-duală pe seturi opuse de valori de argument are valori opuse.
Setul de funcții auto-duale este notat cu S. Setul S este o clasă închisă. Într-adevăr, dacă funcțiile sunt auto-duale, atunci funcția este de asemenea auto-duală:
.
S este o clasă precompletă.
Exemple de funcții auto-duale :. La rândul său, conjuncție. disjuncția și constantele nu sunt auto-duale.