4.g

Prvo ćemo uprostiti logički izraz unutar funkcije istinitosne vrednosti $\tau .$ Razmatramo deo izraza $p \lor \top .$ Prema zakonima logike, disjunkcija bilo kog iskaza sa tačnim iskazom je uvek tačna.

Sada zamenjujemo taj deo u početni izraz:

Ponovo primenjujemo pravilo disjunkcije sa tačnim iskazom. Kako je desna strana disjunkcije $\top ,$ ceo izraz postaje tačan bez obzira na vrednost levog dela $p \land \top .$

Sada računamo istinitosnu vrednost uprošćenog izraza:

Upoređujemo dobijeni rezultat sa uslovom zadatka. Zadatak zahteva da istinitosna vrednost bude netačna ($\bot$), ali smo mi dobili da je izraz uvek tačan ($\top$).

Zaključujemo da ne postoji vrednost promenljive $p$ za koju je data jednačina zadovoljena.