приймає істинність тільки на тотожних наборах.

приймає істинність на будь якому наборі значень

аргументів

приймає істинність на половині наборів значень аргументів;

не приймає ніколи істиності;

він складений так, що його виконання передбачає

 багаторазове повторення одних і тих же дій

хід його виконання залежить від істинності тих чи інших умов

його команди виконуються в порядку їхнього природного дотримання один за одним незалежно від будь-яких умов

;

Висловлювання вигляду  де  - змінна,  - предикат; 

Логічні операції 

Квантор загальності ()

Квантор існування()

Черга;

Стек;

Матриця;

Масив.

n

2

за допомогою логічної схеми;

у вигляді формул;

за допомогою таблиці істинності;

усі відповіді вірні.

обидва хибні;

обидва істинні;

не вірне твердження.

перше істинне, а друге хибне;