Логика – наука о способах и формах мышления, которая  возник­ла в Древнем Китае и  Индии. Основоположником формальной логики по праву считается Аристотель. Логика по­зволяет, от­влекаясь от содержательной стороны, строить формальные модели окружающего мира. Свойства, связи и отношения объектов окружающего мира в сознании человека отражают законы логики. Мышление всегда осуществляется в следующих формах: понятие, выска­зывание и умозаключение. Алгебра высказываний позволяет  определять истинность или ложность состав­ных высказываний. В алгебре высказываний простым высказы­ваниям или суждениям соответствуют логические переменные. Истинному высказыванию соответ­ствует значение логической переменной 1, а ложному — значение 0. Над высказываниями можно производить определенные логические операции, в резуль­тате которых получаются новые, составные высказывания.