Выполняем многочисленные просьбы наших пользователей и предлагаем вашему вниманию калькулятор нового поколения
для пошагового решения неопределенных интегралов
Для того чтобы найти неопределенный интеграл достаточно ввести подынтегральную функцию в калькулятор и нажать кнопку "Ok". Для получения пошагового решения интеграла, необходимо нажать ... Смотреть решение »
|
скнф и сднф - что это?
СКНФ - совершенно конъюнктивная нормальная форма
СДНФ - совершенная дизъюнктивная нормальная форма
Что значит нормальна форма:
Нормальная форма логической формулы не содержит знаков импликации, эквиваленции и отрицания неэлементарных формул.
Существует два вида нормальной формы: конъюнктивная нормальная форма, т. е. конъюнкция нескольких дизъюнкций (КНФ) и дизъюнктивная нормальная форма, т. е. дизъюнкция нескольких конъюнкций (ДНФ), пример:
КНФ: \(\left (x\vee \bar{y}\vee z \right )\wedge \left (y\vee z \right )\)
ДНФ: \( \left (x\wedge \bar{y}\wedge z \right )\vee \left (y\wedge z \right )\)
Совершенно конъюнктивная НФ - конъюнкция дизъюнкций, причём в каждой дизъюнкции (в каждой скобке) присутствуют все переменные, входящие в формулу, либо ... Смотреть решение »
|
Таблица истинности
Согласно определению, таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
Для формулы, которая содержит две переменные, таких наборов значений переменных всего четыре:
(0, 0), (0, 1), (1, 0), (1, 1).
Если формула содержит три переменные, то возможных наборов значений переменных восемь:
(0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1).
Количество наборов для формулы с четырьмя переменными равно шестнадцати и т.д.
Удобной формой записи при нахождении значений формулы является таблица, содержащая кроме значений переменных и значений формулы также и значения промежуточных формул.
Примеры.
1. Составим таблицу истинности для формулы  , которая содержит две переменные x и y. В первых двух столбцах таблицы запишем четыре возможных пары значений этих переменных, в последующих столбцах — значения промежуточных формул и в последнем столбце — значение формулы. В результате получим таблицу: ... Смотреть решение »
|
|
