Облако знаний. Логические уравнения и системы уравнений. Информатика. 10 класс

Логические уравнения и системы уравнений

Методы решения:
- сведение к одному уравнению (преобразование логических уравнений, чтобы правые их части были равны истинностному значению);
- построения таблиц истинности;
- декомпозиции (зафиксировать значение одной из переменных и за счёт этого упростить уравнения, затем можно зафиксировать значение второй переменной и т. д.);
- замены переменных (ввод новых переменных для сокращения количества неизвестных с возращением к первоначальным переменным после упрощения);
- рассуждения (позволяет не строить все дерево полностью, но понять при этом, сколько оно будет иметь ветвей);
- закономерного увеличения корней (в некоторых системах количество корней очередного уравнения зависит от количества корней предыдущего уравнения).
Логические операции имеют следующий приоритет:
1. действия в скобках;
2. инверсия (отрицание);
3. конъюнкция (логическое умножение);
4. дизъюнкция (логическое сложение);
5. импликация (логическое следование);
6. эквиваленция (равнозначность).

Было полезно?