W dniu 19.07.2018 o 21:25, Borneq pisze:
> 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.
może inaczej:
Convert truth tables to circuits.mp4
https://www.youtube.com/watch?v=8sja1RXR_Iw

tworzy dalekie od minimalnego, potem to trzeba w jakiś sposób
zminimalizować,