[ R A V E N @ 19.10.2009. 20:49 ] @
Primjenom identiteta iz algebre iskaza, dokazati slijedeću jednakost: .

(Izdanje XX)

Izrada:
Prvo pitanje glasi: da li je zbilja gornja jednakost dokaziva nekom "akrobacijom", tj. da li ima smisla?

Pod pretpostavkom da je u pitanju štamparska greška, pravilna jednakost po meni glasi ovako: pa imamo . Potpuno se isti rezultat dobiva i kada se umjesto konjukcije stavi disjunkcija između dvije negacije najvišeg nivoa na lijevoj strani jednakosti .

Drugo pitanje glasi: može li se, polazeći od navedenog izraza iz knjige, dobiti ispravna jednakost, ali sa manjim brojem modifikacija nego što je onaj kojeg sam ja izveo?
[ Nedeljko @ 19.10.2009. 21:35 ] @
Zapis nema smisla, bez konvencije da li se odnosi na ili .
[ R A V E N @ 20.10.2009. 01:51 ] @
A ja sam se poveo za tim da su konjukcija i disjunkcija po hijerarhiji operacija jednake i jednostavno sam izostavio zagrade.

Znači, cijeli zadatak pada u vodu već na .