Для информатики важен раздел математики-алгебра логики; 

объектами алгебры логики являются высказывания.

​

Высказывание — это предложение на любом языке, содержание которого 
можно однозначно определить как истинное или ложное.

​

В  русском языке высказывания выражаются 
повествовательными предложениями. 
Но не всякое повествовательное предложение является высказыванием.

​

Побудительные и вопросительные предложения высказываниями не являются.

​

 В алгеб­ре логики высказывания обозначают буквами и называют логиче­скими переменными. 
При этом если высказывание истинно, то значение соответствующей ему логической переменной обозначают единицей (А = 1), а если ложно — нулём {В = 0).

0 и 1, обозначаю­щие значения логических переменных, называются логическими значениями.

​

Алгебра логики определяет правила записи, упрощения и преобразования
 высказываний и вычисления их значений.

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

​

Высказывания бывают простые и сложные.

​

Логические операции

Конъюнкция-логическая операция,создающая новое высказывание являющаяся истинным тогда, когда оба высказывания истинны (логическое умножение)

Знаки: &, х, ^                                                              Связка: И, А, НО

Таблица истинности                                          Графическое представление

​

​

​

​

​

​

​

Дизъюнкция-логическая операция,создающая новое высказывание являющаяся ложным тогда, когда оба высказывания ложны (логическое сложение)

Знаки: |, +, V                                                              Связка: ИЛИ

Таблица истинности                                          Графическое представление

​

​

​

​

​

​

​

Инверсия-логическая операция,ставящая новое высказывание значение которого противоположно по смыслу (логическое отрицание)

Знаки: ¬ , ¯                                                                Связка: НЕ, НЕВЕРНО

Таблица истинности                                          Графическое представление

​

​

​

​

Импликация-логическая операция,создающая следование из одного высказывания другое (логическое следование)

Знаки:                                                               Связка: ЕСЛИ .... ТО ...

Таблица истинности                                       

​

​

​

​

​

​

​

Эквиваленция-логическая операция,определяющая тождественное равенство двух высказываний (логическое равенство)

Знаки:                                                               Связка: ТОГДА .... КОГДА ...

Таблица истинности                                          

​

​

​

​

​

​

​

 

Приоритеты действий:

инверсия,

конъюнкция,

дизъюнкция,

импликация,

эквиваленция.