Exkluzivní a esenciální množiny implikátů boolovských funkcí

Abstrakt

Zavádíme dvě definice množin implikátů, které jsou obě založeny na vlastnostech rezoluce a dokazujeme řadu zajímavých vlastností takovýchto množin

Klíčová slova

• Hornovské funkce
• boolovská minimalizace