Определения ЭК, Эд, ДНФ, КНФ...
Currently sorted По дате последнего обновления (возрастание) Хронологическая сортировка:
По дате последнего обновления 
|
По дате создания
Элементарная конъюнкция: Это формула, которая является конъюнкцией высказывательных переменных или их отрицаний, или является отдельно взятой высказывательной переменной или ее отрицанием. |
|
Элементарная дизъюнкция: Это формула, которая является дизъюнкцией высказывательных переменных или их отрицаний, или является отдельно взятой высказывательной переменной или ее отрицанием. |
|
Теорема об истинности ЭК: F=ЭК является тождественно ложной тогда и только тогда, когда вместе с некоторой высказывательной переменной содержит и ее отрицание |
|
Теорема об истинности ЭД: F=ЭД является тождественно истинной тогда и только тогда, когда вместе с некоторой высказывательной переменной содержит и ее отрицание |
|
Конъюнктивная нормальная форма (КНФ): КНФ данной формулы F называется равносильная ей формула F1, являющаяся конъюнкцией элементарных дизъюнкцией или отдельно взятой элементарной дизъюнкцией |
|
Дизъюнктивная нормальная формула (ДНФ): ДНФ данной формулы F называется равносильная ей формула F1, являющаяся конъюнкцией элементарных конъюнкций или отдельно взятой элементарной конъюнкцией |
|
