Category:Principalities and dominions of Boolean functions