Tõesuspuu harus, kus on juba sisse toodud konstantsümbolid ja , analüüsitakse järgmisena rida . Mida tuleb selleks teha?

Question

Tõesuspuu harus, kus on juba sisse toodud konstantsümbolid    ja   , analüüsitakse järgmisena rida   . Mida tuleb selleks teha?

Answer

Toome sisse uue konstantsümboli    ja asendame sellega muutuja   .

Answer

Tuleb mingit muud rida analüüsida, sest selle rea analüüs pole võimalik.

Answer

Toome sisse uue konstantsümboli    ja asendame sellega muutuja   .

Answer

Tekib hargnemine, mille ühes harus asendame muutuja    konstantsümboliga    ja teises harus sümboliga   .

Answer

Asendame muutuja    konstantsümboliga   .

Crowdly