* Данный текст распознан в автоматическом режиме, поэтому может содержать ошибки

126 > Вся школьная программа в одной книге тика для математической логики. Интересно то, что Буль не имел математического образования. Математическая логика включает в себя много различных логик: многозначные логику, логика квантовой механики, конструктивную логику и др. Самой важной среди них является элементарная математическая логика. Она служит основой для понимания структуры точных утверждений, проверки правильности доказательства этих утверждений. При изучении этой науки развивается мышление. Алгебра логики — это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразуют логические высказывания. Высказывание — повествовательное предложение, о котором можно сказать истинно оно или ложно. Например, рассмотрим высказывания: Параллелограмм имеет 4 вершины. Зимой день короче, чем летом. Число 25 делится на 5. Число 2 больше 5. Луна крутится вокруг Марса. Высказывания 1,2,3 являются истинными, а 4 и 5 — ложными. Высказывания бывают простыми и сложными. Простое высказывание (логическая переменная) обозначают заглавными латинскими буквами: А, В, С, ... И если высказывание истинно, то пишут А = 1, в противном случае А = 0. Сложные высказывания (логические функции) состоят из простых высказывания и союзов между ними; обозначаются буквой F. Значение логической функции определяется с помощью таблицы истинности. Таблица истинности — таблица, в которой перечислены все возможные значения входящих логических переменных и соответствующие им значения функции. ЛОГИЧЕСКИЕ ОПЕРАЦИИ Простейшей логической операцией является инверсия, так как она выполняется для одной переменной, если входящих перемен-