BF-tautology - tautologie hrubou silou, pouzitelna do poctu vstupu n<14, pripadne n<20 (zalezi na mnozstvi DC ve vstupu)
BOOLGRAPH-TAUTOLOGY.EXE - grafova tautologie, velmi rychla pri DC>70% ve vstupech
BOOLGRAPH-TAUTOLOGY2.EXE - grafova tautologie s predpripravou PLA za pomoci zjednodusovani, pri DC>70% taky velice rychla, ne tolik jako prvni varianta, pri DC<70% temer vzdy rychlejsi nez prvni varianta, avsak nedosahuje efektivity ostatnich algoritmu
GENPLA - program pouzity pro generovani instaci
NAVRKAL_TAUTOLOGY - referencni program pro detekci tautologie