Boolean function
"n" = 2 の場合、2変数単調ブール関数は6個あり、2元集合 {"x","y"} の部分集合で反鎖となるものも6個ある。