Ma'ruza №1 Paskal tilining umumiy tavsifi

::=IF THEN ELSE

Bu yerda IF (agar), THEN (uholda) ELSE (aks holda) degan xizmatchi so’zlar.

To’liq ko’rinishdagi shartli o’tish operatorining tarkibini yana quyidagicha yozish mumkin.

IF B THEN A1 ELSE A2;

Bu yerda V mantiqiy ifoda;

A1, A2 – operatorlar.

Shuni ta'kidlab o’tish kerakki, agar mantiqiy ifodalar, biz yuqorida aytganimizdek, mantiqiy amallar yordamida (AND, OR, NOT) murakkab ko’rinishga ega bo’lsa, ular qavslarga olib yeziladi. Ayrim algoritmlarda ba'zan shunday hol uchrashi mumkinki, bunda hisoblash jarayonida ayrim amallar ba'zi bir mantiqiy ifoda bajarilganda hisoblanadi, agar mantiqiy ifoda bajarilmasa, hech qanday amal bajarilmaydi. Bu holda shartli operatorlarni qisqa ko’rinishda ifodalash mumkin. Uning metaformulasi yezilishi quyidagicha: