Pomoc oko programa za proveru unetog niza

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

Ovako glasi zadatak:
Ako unesemo neki niz preko tastature i predpostavimo da je uneti niz ispravan tj iskazna formula, proveriti da li je po obliku jedna od sledece tri aksiome:

A=>(B=>A)
(A=>(B=>C))=>((A=>B)=>(A=>C))
(¬B => ¬A)=>(A=>B)

Inace ovo su iskazne aksiome prvog reda. Rade se preko modus ponensa tj A, A->B onda je to B

Da li bi neko mogao da mi pomogne posto ja nemam uopste ideju kako bi ovo moglo da se uradi. Znaci ako imate linkove o necemu slicnom il ako neko moze da mi da ideju kako bi uradio pa da iskucamo zajedno... Sve pomoci su dobrodosle, unapred hvala

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

Kako bi to uradio peške... kad vidiš formulu na papiru, kako znaš da li je u jednom od ponuđenih oblika?

• 0Niko još nije pohvalio poruku.
  Registruj se da bi pohvalio/la poruku!

Napisano: 03 Dec 2012 20:02

Popricao sam danas sa profesorom i kaze da ne moram preko MP da resavam vec da mogu da proverim sa stringovima. Pa sad kako bi to izgledalo posto jos nisam radio stringove? Znaci jedna formule je string A, druga B...

Dopuna: 07 Dec 2012 0:50

Znaci jel moze neko da mi napise kako bi se ovako nesto moglo porediti. Znaci korisnik napise nesto tipa ovako

((a/b)V(a-c)V(b*g))=>(((a-c-b)v(a+u+o*g))=>((a/b)V(a-c)V(b*g)))

a recimo zadato mu je da pronadje dal je to isto sto i

A=>(B=>A)


i sad on treba da proveri tj da nadje => pa dal je iza njega zagrada pa onda dal se nalazi izmedju te druge zagrade i => isto sto i ispred prvog //tj u ovom slucaju((a/b)V(a-c)V(b*g)) // pa dal je iza njega => i na kraju da proveri da li su sve zagrade koje su otvorene i zatvorene pa onda.... Al ako bi mi moga neko ova prva tri slucaja objasniti bio bih mu veoma zahvalan .