Шестой (Донец Е)

Специальные | А | Б | В | Г | Д | Е | Ё | Ж | З | И | К | Л | М | Н | О
П | Р | С | Т | У | Ф | Х | Ц | Ч | Ш | Щ | Э | Ю | Я
Все

---

Дизъюнктивная нормальная формула (ДНФ) : ДНФ данной формулы F называется равносильная ей формула F1, являющаяся конъюнкцией элементарных конъюнкций или отдельно взятой элементарной конъюнкцией

Конъюнктивная нормальная форма (КНФ) : КНФ данной формулы F называется равносильная ей формула F1, являющаяся конъюнкцией элементарных дизъюнкцией или отдельно взятой элементарной дизъюнкцией

Теорема об истинности ЭД : F=ЭД является тождественно истинной тогда и только тогда, когда вместе с некоторой высказывательной переменной содержит и ее отрицание

Теорема об истинности ЭК : F=ЭК является тождественно ложной тогда и только тогда, когда вместе с некоторой высказывательной переменной содержит и ее отрицание

Элементарная дизъюнкция : Это формула, которая является дизъюнкцией высказывательных переменных или их отрицаний, или является отдельно взятой высказывательной переменной или ее отрицанием.

Элементарная конъюнкция : Это формула, которая является конъюнкцией высказывательных переменных или их отрицаний, или является отдельно взятой высказывательной переменной или ее отрицанием.