Кон’юнкція логічних еквіваленцій між окремими змінними

Кон’юнкція елементарних диз’юнкцій логічних змінних та їх заперечень

Диз’юнкція елементарних кон’юнкцій логічних змінних та їх заперечень

Послідовність арифметичних операцій над значеннями логічних змінних

Послідовність логічних імплікацій між окремими змінними

Усі елементи множини А повинні належати множині В, але множина В повинна містити хоча б один елемент, відсутній у множині А

Множини А і В повинні містити однакову кількість елементів

Жоден елемент множини А не повинен належати множині В

Множини А і В повинні мати хоча б один спільний елемент

Множина А повинна містити всі елементи множини В та хоча б один додатковий

Кожен елемент множини перебуває у відношенні хоча б з одним іншим елементом

Кожен елемент множини перебуває у заданому відношенні із самим собою

Якщо один елемент перебуває у відношенні з іншим, то другий обов’язково перебуває у відношенні з першим

Кожен елемент множини перебуває у відношенні з усіма іншими елементами

Жоден елемент множини не може перебувати у відношенні із самим собою

Лише користувачів, які вже отримали доступ до інформаційних ресурсів

Усі можливі впорядковані пари «користувач — інформаційний ресурс» незалежно від наявності дозволу на доступ

Усі інформаційні ресурси, які не використовуються жодним користувачем

Лише пари користувачів, які мають однакові права доступу

Лише інформаційні ресурси, доступні всім користувачам системи

Розповідне твердження, щодо якого можна однозначно встановити, істинне воно чи хибне

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

Будь-яку команду, яка передбачає виконання певної дії

Будь-яке словосполучення, яке містить математичні терміни

Будь-яке запитання, на яке можна отримати відповідь