8
Shunday qilib,
NOT, AND
va
OR
operatsiyalariga nisbatan
, = va + mantiqiy
amallarning
barilish tartibi pastroq, ya’ni ular qavs ichidagi operatsiyalardan keyin
bajariladi. Bu operatsiyalarni hisoblash qoidasi quyidagicha:
(
)=(
V
), (
=
)=(
&
)V(
&
) va
+
=(
&
)V(
&
)
- mantiqiy formulalarning ifodalanish qoidasini bildiradi, bu yerda
,
- bir-
biriga teng bo’lmagan mantiqiy formulalar.
ga asosan
-mantiqiy formula
ga
qismiy formula bo’lsa,
-
ga akslantiriladi. Agar
,
formula tarkibida bo’lmasa, u
holda ,
ga tegishli emas.
Qoidalar to’plami cheksiz qoidalar to’plamini kompakt yozish uchun qo’llaniladi.
Qoidalar to’plamida o’zgaruvchilar bilan birga mavjud sintaktik tushunchalar:
mantiqiy-formula, kon‘yunksiya, dizyunksiya, o’zgaruvchi nomlari yoziladi. Shunday
qilib, masalan: <
kon‘yunksiya> AND
qoidalar
sxemasi cheksiz qoidalar to’plamini bildiradi, bu sxemalar yordamida kon‘yunksiyani
umumlashtirib, boshqa bir qandaydir kon‘yunksiyani
hosil qilish mumkin, ya’ni bu
qoidalar to’plami quyidagilarni o’z ichida saqlaydi:
TRUE AND TRUE
TRUE X AND X-^X, (X OR Y) AND (X OR Y)
(X OR Y).
Oddiy mantiqiy ifoda tushunchasining sintaktik ta’rifi quyidagi Grammatik qoida
yordamida yoziladi:
::={/< ifoda>
{V}
NOT ()}
::={/
< ifoda>}
::={// ()}
::={TRUE
FALSE}
::={//< identifikator-raqam>}
Oddiy ifoda daraxtini quyidagicha qurish mumkin:
1). Oddiy ifoda
=
ko’rinishda bo’lsa, uning sintaktik daraxti-
daraxt
bo’ladi.buda
- bu “V” yoki “
”,
- ifoda,
- esa oddiy ifoda;
- daraxtning ildizi.
9
2). agar
,
=
ko’rinishda bo’lsava
- (*) amal belgisi,
- ko’paytuvchi,
- esa
ifoda bo’lsa, unda
-
daraxtning ildizi
- amal belgisi bilan belgilangan uch bo’ladi,
uning chap tomoni—
- ko’paytuvchi, o’ng tomoni esa —
- ifoda (term) bo’ladi[8].
