Recimo da pretvorbom jedne zadane premise u klauzalni oblik dobijem dvije klauzule:
npr. (~ P(x,a) V Q(f(x))) && (~ P(x,a) V R(z, f(x)))
Kada idem radit standardizaciju, mijenjam li samo varijablu x u jednoj od klauzula tako da se ne ponavlja ili to moram radit i za konstante i imena funkcija?
