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


Предикаты.


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

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