On Friday, July 20, 2018 at 9:46:36 PM UTC+2, Borneq wrote:
> W dniu 20.07.2018 o 09:54, Adam Wysocki pisze:
> > W technikum robiliśmy to metodą Karnaugha.
> >
> > https://pl.wikipedia.org/wiki/Metoda_Karnaugha
>
> Dzięki za namiar, są dwie metody, to znaczy jedna odmiana tej samej do
> ręcznego a druga do maszynowego obliczenia.
> Czas wykładniczy i dokładne rozwiązanie, podstawa 3 ro zawsze nie
> kilkaset. Poza tym wzmiankowana jest metoda niedokładna heurystyczna,
> szybsza Espresso.
>
> Pytanie - a jak zrobić pierwsze przybliżenie, które będziemy
> optymalizować? Z tego filmiku? czyli wiele AND i OR a może odwrotnie?

Można zapisać funkcję logiczną w postaci BDD, a potem
z BDD przejść na jedną z postaci normalnych (DNF albo CNF)
i już z tego masz obwód.

BDD są dobre, jak masz dużo zmiennych, nawet tysiące.
Chociaż są takie przypadki funkcji, dla których BDD wybucha
pamięciowo.

w.