Kurs „Tautologie – analiza formuł zdaniowych” trwa 6,5 godziny i składa się z części teoretycznej oraz praktycznej. Trwająca 2 godziny i 40 minut część teoretyczna zawiera omówienie pojęcia „prawdy” oraz „fałszu” w logice, zdań analitycznych, wewnętrznie kontradyktorycznych oraz syntetycznych. Przed wskazaniem różnic między funktorami prawdziwościowymi (ekstensjonalnymi) oraz funktorami intensjonanymi, omówiona została także istota języka klasycznego rachunku zdań. Z uwagi na to, że dla analizy formuł zdaniowych zasadnicze znaczenie mają funktory ekstensjonalne, bardzo szczegółowo przedstawiony został każdy z tych funktorów, a więc: negacja, koniunkcja, alternatywa zwykła, alternatywa rozłączna, dysjunkcja, implikacja, równoważność oraz binegacja. Wyjaśnienie terminu „tautologia” rozpoczyna trwającą prawie 4 godziny część praktyczną, która obejmuje 23 zadania o różnym stopniu trudności. Podczas rozwiązywania zadań, stosowane metody badania tautologiczności formuł zdaniowych są następujące: 1) metoda zero-jedynkowa tabelaryczna, 2) metoda zero-jedynkowa zwykła (bez tabeli) oraz 3) metoda zero-jedynkowa skrócona.