Algoritmy výrokové logiky, bakalářská práce.