Пропозициональные формулы, булевы функции. Системы доказательств, метод резолюций. Булевы схемы. Предикатные формулы.