Úlohou je zistiť, kedy bude celý zložený výrok pravdivý a kedy nepravdivý v závislosti od jednoduchých výrokov. Na prvý pohľad sa možno zdá, že zadanie chce ten vedieť, či je to celé pravda alebo lož. Ale tak to nie je. Potrebuješ zistiť, kedy (za akých podmienok) to pravda bude a kedy to pravda nebude.