Сторінки, що посилаються на «Кон'юнктивна нормальна форма»

Такі сторінки посилаються на Кон'юнктивна нормальна форма

Показано 33 елементи.

• Алгебра логіки (← посилання | редагувати)
• Диз'юнкція (логіка) (← посилання | редагувати)
• Кон'юнкція (← посилання | редагувати)
• Числення висловлень (← посилання | редагувати)
• Логічне програмування (← посилання | редагувати)
• Задача здійсненності булевих формул (← посилання | редагувати)
• Логічна імплікація (← посилання | редагувати)
• Стрілка Пірса (← посилання | редагувати)
• Штрих Шефера (← посилання | редагувати)
• Виключна диз'юнкція (← посилання | редагувати)
• Диз'юнктивна нормальна форма (← посилання | редагувати)
• Нормальна форма Сколема (← посилання | редагувати)
• Правило резолюцій (← посилання | редагувати)
• КНФ (сторінка-перенаправлення) (← посилання | редагувати)
  • Замкнений клас функцій алгебри логіки (← посилання | редагувати)
  • Карта Карно (← посилання | редагувати)
  • Метод Куайна (← посилання | редагувати)
  • Метод Петрика (← посилання | редагувати)
  • Досконала кон'юнктивна нормальна форма (← посилання | редагувати)
  • Досконала диз'юнктивна нормальна форма (← посилання | редагувати)
  • Мінімізація булевих функцій (← посилання | редагувати)
  • Заперечення нормальної форми (← посилання | редагувати)
• Булева функція (← посилання | редагувати)
• Нормальна форма (← посилання | редагувати)
• Логічна еквівалентність (← посилання | редагувати)
• Баєсова мережа (← посилання | редагувати)
• Досконала кон'юнктивна нормальна форма (← посилання | редагувати)
• Теорема Кука — Левіна (← посилання | редагувати)
• Мінімізація булевих функцій (← посилання | редагувати)
• Обернена імплікація (← посилання | редагувати)
• DPLL алгоритм (← посилання | редагувати)
• Семантична оптимізація запитів СУБД (← посилання | редагувати)
• Рерайтинг (математика) (← посилання | редагувати)
• Неімплікація (← посилання | редагувати)
• Мінімізація булевих функцій за допомоги дужкових форм (← посилання | редагувати)
• Список акронімів української мови (К) (← посилання | редагувати)
• Клас APX (← посилання | редагувати)
• Канонічна форма (булева логіка) (← посилання | редагувати)
• Обернена неімплікація (← посилання | редагувати)
• Вікіпедія:Проєкт:Тематичне поповнення/Індекс:Логіка (← посилання | редагувати)
• Вікіпедія:Проєкт:Комп'ютерні науки/Енциклопедія кібернетики/Том 1 (← посилання | редагувати)