Висловлення В є логічним наслідком висловлення А, якщо формула A B є:
Скільки чотирицифрових чисел можна утворити з цифр 0, 1, 2, 3, не повторюючи їх?
Чи являється відношення бієктивним, якщо воно сюр'єктивне і ін'єктивне?
Алгоритм можна подати у формі:
Які вершини дерева називаються внутрішніми?
Кон'юнкція деякої кількості змінних рівна одиниці, якщо:
Скільки існує логічних функцій від двох змінних?
Які недоліки машини Тьюринга?
Поліномом Жегалкіна називається скінчена сума по модулю 2 попарно різних елементарних диз'юнкцій над множиною змінних (x1, x2, …, xn).