Квантор – общее название для логических операций, ограничивающих область истинности какого-либо утверждения. Чаще всего используют:

• Квантор всеобщности. Обозначение: \(\forall \). Чтение: «для всех…», «для каждого…», «каждый…», «любой…», «для любого…».
• Квантор существования. Обозначение: \(\exists \). Чтение: «существует…», «найдется…»).

Тождественные преобразования логических выражений

Для логической формулы всегда можно записать таблицу истинности, т.е. представить заданную логическую функцию в табличном виде.

Если функция принимает значение 1 при всех наборах значений переменных, то она является тождественно-истинной. Если при всех наборах входных значений функция принимает значение 0, она является тождественно-ложной. Если набор выходных значений содержит как значения 0, так и 1, функция называется выполнимой.