MAVZU. YECHILISH PROBLEMAS FORMULALARNING NORMAL SHAKL
Mulohazalar algebrasidagi yechilish muammosini ko'rsatish mumkin, u shunday algoritmni topishdan iboratki, bu algoritm vositasi bilan mulohazalar algebrasidagi har bir formulaning yo aynan chin, yo aynan yolg‘on, yoki bajariluvchi ekanligini aniqlash mumkin.
Algoritmik muammoning muhim sinfi formal nazariyalar uchun yechilish muammosidir, ya’ni hamma isbotlanuvchi formulalar to‘plami uchun formulalar nazariyasidagi ( A to‘plam) nazariyaning hamma formulalar to‘plamiga ( В to‘plam) nisbatan yechilish muammosidir.
Formulaning normal shakllari quyidagi ta’rif asosida aniqlanad
Do'stlaringiz bilan baham: |