> Mam znaleźć ileś bramek, by pasowały do tabeli prawdy.
> Jak teraz widzę, najpierw tworzy się zgrubne przybliżenie - obwód który
> ma wielokrotnie więcej niż trzeba, potem przekształca się algebraicznie?

Etam. Dzisiaj po prostu użyłbym tej funkcji:

http://reference.wolfram.com/language/ref/BooleanCon
vert.html

Uwaga reklama: właśnie ta funkcja jest podstawą tego narzędzia:

http://inspirel.com/logicassistant/

Natomiast w szkole faktycznie kazali to robić ręcznie i przy dużej ilości sygnałów
nie było to zabawne. :-)

--
Maciej Sobczak * http://www.inspirel.com