Алгебра, в широком смысле этого слова-наука об общих операциях , аналогичных сложению и умножения, которое могут выполняться над различными математическими объектами.
Алгебра логики – одна из областей математической логики. Была разработана в конце XIX века английским математиком Джорджем Булем. Объектами алгебры логики являются высказывания.
Основная роль алгебры логики заключается в том, что она позволяет выполнить логические операции не только над высказываниями, но и над числами, текстами, звуками и изображениями представленными двоичными разрядами.
Сложные высказывания на естественном языке образуются с помощью союзов, которые в алгебре высказываний заменяются логическими операциями.
Логическая операция – операция над высказываниями, позволяюшая составлять новые высказывания путём соединения более простых.
Для определения истинности сложных высказываний полученных после выполнения логических операций, служат таблицы истинности. В таблице истинности отображаются всевозможные значения простых высказываний , входящих в сложное высказывание.
Полную информацию смотрите в файле.