Словарь по логике
КНФ
.
© Автор статьи.