4.a

Prvo analiziramo izraz unutar funkcije istinitosne vrednosti $\tau .$ Izraz je disjunkcija logičke konstante netačno ($\bot$) i nepoznate iskazne konstante $p .$

Koristimo neutralni element za disjunkciju. Znamo da je netačan iskaz neutral za operaciju 'ili', što znači da istinitosna vrednost disjunkcije zavisi isključivo od vrednosti iskaza $p .$

Sada zamenjujemo uprošćeni izraz u početnu jednačinu:

Funkcija $\tau(p)$ predstavlja istinitosnu vrednost iskaza $p .$ Da bi ta vrednost bila $\bot$ (netačno), sam iskaz $p$ mora biti netačan.

Zaključujemo da je jedino rešenje jednačine: