Knuth pisał, że jego program znalazł, 10 czy 11 bramek, mniej o jedną
niż myślał że obwód potrzebuje.
Ale jak widzę, problem ma wielką złożoność, już przy 4 bramkach szuka
ponad 4 minuty w wersji release.
Bo mam przynajmniej 5 typów - OR, NOR, AND, NAND i XOR, jedno wejście to
4-10 możliwości + podwojenie, bo może być NOT, cała bramka to 200-400
możliwości.
Choć widzę, że bramki są symetryczne, to zmniejsza trochę ilości
możliwości, ale nie tak bardzo , o połowę a nie o pierwiastek.