[ dacydacy @ 25.11.2013. 00:22 ] @
E ovako, treba mi pomoc u vezi tautologije. Zadatak glasi ovako: odrediti sve neekvivalentne iskazne formule A = A(p, q) za koje je iskazna formula (dole navedena) tautologija.
(pisacu slovima posto nemam sve znakove na tastaturi)

((p disjunkcija A) ekvivalencija q) implikacija ((q konjukcija A) disjunkcija ne p)

E sad u slucaju da je na samo jednom mjestu zadano ovo A i da je umjesto implikacije tamo zadana ekvivalencija znala bih zadatak, medjutim u ovom slucaju me zbunjuje pa vas molim za pomoc. Da li mogu pretpostaviti da nije tautologija pa onda razmatrati slucajeve i ako da koliko bi onda tih slucajeva bilo. Unaprijed zahvalna.