Counting self-dual monotone Boolean functions

Bartłomiej Pawelski, Andrzej Szepietowski

Let $D_n$ denote the set of monotone Boolean functions with $n$ variables. Elements of $D_n$ can be represented as strings of bits of length $2^n$. Two elements of $D_0$ are repres…