Математическая энциклопедия - импликативная нормальная форма
Связанные словари
Импликативная нормальная форма
импликативная нормальная форма
пропозициональная форма вида
где все С i, i=1, . . . , п, имеют вид
каждое С ij, i=1, . . ., п; j=1, . . ., т i, есть либо переменная, либо отрицание переменной, и есть логич. символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно построить классически эквивалентную ей И. н. ф. В, содержащую те же переменные, что и А. Такая формула Вназ. И. н. ф. формулы А.
Лит.:[1] Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960.
С. И. Соболев.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 558 | |
2 | 484 | |
3 | 482 | |
4 | 474 | |
5 | 455 | |
6 | 441 | |
7 | 438 | |
8 | 435 | |
9 | 426 | |
10 | 425 | |
11 | 423 | |
12 | 413 | |
13 | 407 | |
14 | 376 | |
15 | 376 | |
16 | 373 | |
17 | 367 | |
18 | 366 | |
19 | 365 | |
20 | 363 |