Úkolem je zjistit, kdy bude celý složený výrok pravdivý a kdy nepravdivý v závislosti na jednoduchých výrocích. Na první pohled se možná zdá, že zadání chce pouze vědět, zda je to celé pravda, anebo lež. Ale tak to není. Potřebuješ vědět, kdy (za jakých podmínek) to pravda bude a kdy to pravda nebude.