Конспект лекций по программированию для начинающих. Гладков В.П. - 34 стр.

                                             36

                 false   false   false    false       false
                 false   false   true     false       false
                 false   true    false    false       false
                 false   true    true     true        true
                 true    false   false    false       true
                 true    false   true     false       true
                 true    true    false    false       true
                 true    true    true     true        true
   В начале вычисляем результат операции B and C. Затем определяем
результат дизъюнкции переменной А и столбца B and C. Этой операцией
завершается вычисление левой части закона.
   Приступаем к проверке правой части закона. Вычислим сначала результат
операции A or B, затем - A or C. Наконец, найдем результат конъюнкции двух
вновь полученных столбцов, завершая этим вычисление правой части закона:
       A         B       C       A or B      A or C   (A or B) and (A or C)
       false     false   false   false       false             false
       false     false   true    false       true              false
       false     true    false   true        false             false
       false     true    true    true        true              true
       true      false   false   true        true              true
       true      false   true    true        true              true
       true      true    false   true        true              true
       true      true    true    true        true              true
   Сравнив левую и правую части, убеждаемся, что они совпадают на всех
возможных наборах исходных данных:
               A or (B and C)    совпадение       (A or B) and (A or C)
               левая часть                        правая часть
                     false       совпадает                 false
                     false       совпадает                 false
                     false       совпадает                 false
                     true        совпадает                 true
                     true        совпадает                 true
                     true        совпадает                 true
                     true        совпадает                 true
                     true        совпадает                 true
   Упражнение. Докажите с использованием таблиц истинности все законы
логики.

                                 6. ВЫРАЖЕНИЯ
   Выражение - это константа, переменная, стандартная функция или их
комбинация со знаками операций и круглыми скобками.