Lattice
This tutorial demonstrates the construction of lattices of k-dimensional Boolean vectors and Multivariate Boolean Functions (MBFs) with k inputs. These lattics are constructed as networkx digraph. The methods available to interact with these structures are currently limited, but we plan to expland it in the future.
$\mathbb{B}^2$
$\mathbb{B}^3$
