1. Baratanje iskazima

Članci

Iskazna logika
Iskaz
Iskazna algebra
Sintaksa i semantika iskazne logike
Zapis složene iskazne formule, infiksna i prefiksna notacija, stablo
Istinitosna vrednost iskazne formule
Logička ekvivalentnost iskaznih formula
Logički ekvivalentni iskazi
Algebarske strukture logike
Zadaci