Формы записи высказываний. Алгоритмические способы решения логических задач

Пример 2: Вычислить значение функции:

при

Подобно алгебраическим выражениям большие составные логические формулы во многих случаях могут быть упрощены, то есть приведены к равносильным.

Две формулы А и В будем называть равносильными (А=В или ), если они имеют одинаковые таблицы истинности. Будем считать две таблицы истинности одинаковыми, если у них одинаковые последние (результирующие) столбцы.

Пример:

В логике высказываний будем считать, что равносильные формулы задают одно и то же высказывание. Может оказаться, что в последнем столбце таблицы истинности стоят одни единицы или нули. Будем называть такое высказывание тождественно-истинным (тавтологией) соответственно тождественно-ложным (противоречием) и обозначать 1 и 0. Из определения следует, что для проверки равносильности формул нужно построить их таблицы истинности и сравнить

Пример:

Формулы и являются тождественно-истинными

Статьи по теме:

Особенности личностно-ориентированного подхода к процессу музыкального образования и воспитания в условиях программы "Мир музыки"
В современной технократической цивилизации музыкальное образование отодвигается на второстепенный план. Между тем, новые достижения педагогики и психологии доказали важнейшую роль музыкальных занятий не только в эстетическом, но и в интеллектуальном развитии детей. Чтобы стать личностью, человеку н ...

Компьютерные клубы, как современная форма досуговой деятельности
В России число детей, проводящих время перед монитором компьютера дома или в компьютерном клубе, с каждым днем становится все больше и больше. Во времена Советского Союза достаточно широко была развита инфраструктура так называемого детского и молодежного досуга. Кружки, секции, дома творчества, до ...

Особенности развития дошкольников с ОНР
Под общим недоразвитием речи (ОНР) понимаются различные сложные речевые расстройства, при которых у детей при нормальном слухе и интеллекте нарушено формирование всех компонентов речевой системы. В термине общее недоразвитие речи констатируется то, что речевая функция неполноценна целиком. Отмечает ...