✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Me ütleme, et sõne w eristab seisundid p ja q, kui ühest seisundist saab w abil jõuda lõppseisundini, aga teisest ei saa. Formaalselt, sõne w ei erista kahte seisundit p ja q, kui kehtib järgmine tingimus:
Need sümbolid on defineeritud Varmo loengus (loeng3.pdf), aga see mõiste peaks ka olema intuitiivselt arusaadav.