Minimalizace booleovských funkcí - Krejčí, František (1965)