4. АЛГЕБРА ЛОГИКИ
4.1. Логические функции
Науку о формах и законах мышления называют логикой. Одним из направлений логики как науки является формальная логика, составной частью которой является математическая логика. Одним из важнейших разделов математической логики является алгебра логики или булева алгебра (по имени английского математика и логика Джорджа Буля).
Основным понятием алгебры логики является понятие высказывания. Высказыванием называется повествовательное предложение, о котором можно сказать, что в данный момент оно истинно или ложно, но не то и другое одновременно. Например, высказывание «Луна – это спутник Земли» истинно, а высказывание «микропроцессор разработан в 1905г.» ложно. «Истинность» или «ложность» предложения есть истинностное значение высказывания.
Высказывания могут быть простыми и сложными. Сложные высказывания образуются из простых, объединенных логическими связями. Связи между высказываниями устанавливаются только на основании их истинностных характеристик.