Aksjomatyzacja pewnych problemów minimalizacji

Streszczenie

W pierwszej części tej pracy określa się pewien abstrakcyjny analogon problemu minimalizacji dla funkcji Boole’owskich oraz pojęcia implikantu pierwszego, w taki sposób, że ten ogólny problem może być rozwiązany za pomocą tych samych kroków co w przypadku klasycznym, tzn. przez: 1) znalezienie implikantów pierwszych, 2) znalezienie wszystkich rozwiązań utworzonych z implikantów pierwszych. W drugiej części pokazuje się, że klasyczny problem minimalizacji oraz pewne problemy teorio-mnogościowe a nawet pewne problemy z zakresu teorii grafów są szczególnymi przypadkami ogólnego problemu sformułowanego w części pierwszej.