вопрос по определению в математической логике и теории алгоритмов

Доброго времени суток!
Помогите найти что значит данное определение (ну или что это
"Логика высказываний: клаузы"
Все мои поиски в сети были безрезультатны, надеюсь на вашу помощь!
Заранее благодарю!