boolean-formulas
Local computation of immediate neighbours of a given monotone non-degenerate Boolean function