Страницы, ссылающиеся на «Литерал (математическая логика)»
Перейти к навигации
Перейти к поиску
Следующие страницы ссылаются на Литерал (математическая логика):
Показано 9 элементов.
- Алгебра логики (← ссылки)
- Дизъюнктивная нормальная форма (← ссылки)
- Конъюнктивная нормальная форма (← ссылки)
- Элиминация кванторов (← ссылки)
- Конъюнктивный одночлен (← ссылки)
- Дизъюнктивный одночлен (← ссылки)
- Хорновский дизъюнкт (← ссылки)
- Предположение о замкнутости мира (← ссылки)
- Алгоритмическая локальная лемма Ловаса (← ссылки)