[Список тем] [Вступление к этой теме] Страницы темы: [1] [2] [3]

Предикаты.

Основные вопросы которые затрагиваются в этой теме:

1. Формулы логики предикатов
2. Равносильные формулы логики предикатов
3. Предваренная нормальная форма