Algoritmlash p65. p65

A shart
B shart
A YOKI  B
(d a ‘vo)
(d a ‘vo)
q o ‘shm a shart
ROST
ROST
ROST
ROST
YOLG‘ON
ROST
YOLG‘ON
ROST
ROST
YOLG‘ON
YOLG‘ON
YOLG‘ON
EMAS  mantiqiy  amali.  Umumiy  ko‘rinishi:  EMAS  .
EMAS  mantiqiy  amali  berilgan  shartga  aks  shartni  hosil  qiladi. 
Aks  shart  rost  bo‘ladi,  agar  shart  yolg‘on  bo‘lsa  va  aksincha.
Xafa  bo‘lmasin  deb  belgilashlardan  keyin  bu  mantiqiy  amal 
uchun  ham  ta ’rifga  asosan jadval  tuzamiz:
A shart 
(d a ‘vo)
EMAS A shart 
(d a ‘vo)
ROST
YOLG‘ON
YOLG‘ON
ROST
Yuqorida  keltirilgan jadvallarni  ko‘pincha  rostlik jadvali  deb 
atashadi.
Mantiqiy amallar o‘z nomiga ega. VA amali konyuksiya, YOKI 
amali  dizyunksiya  va  EMAS  esa  inkor  amali  deyiladi.  Shu  oxirgi 
gapga  e ’tibor  qilsangiz,  biz  uchta  da’vo  yozdik,  chunki  vergul 
ham VA kabi  qo‘llanilgan.
Mantiqiy  amallarni barcha  Ijrochining  har  qanday  shartlariga 
qo‘llash mumkin.
Shuning  uchun  ular  ham,  TAKRORLANSIN  —  MARTA 
tuzilmasi  kabi  bosh  harflarda  yoziladi.
Murakkab  mantiqiy  birikmalarda  qavs  qo‘llanilib,  arifmetik 
amallardagi  kabi  avval  ichki  qavslar  ichidagi  Shart  qiymati 
hisoblanadi.
Masalan,  quyidagi  qo‘shma  shart  qiymati  ROST  (tekshirib 
ko‘ring):
((EMAS  3 juft)  VA 4 juft)  VA  5  toq
77

---