Элементы алгебры логики ГИ-1-14 КРСУ

Алгебра логики - это математический аппарат, с помощью которого записывают, вычисляют, упрощают и образуют логические высказывания. Создателем А/А считают английского математика Джорджа Буля (19 век ), в честь которого эта алгебра названа Булевой алгеброй высказывания или Алгебра Буля.

Джордж Буль родился 2 ноября 1815 года в промышленном городе Линкольне в восточной Англии в бедной рабочей семье. В те времена мальчик, родители которого были простыми рабочими, вряд ли мог надеяться получить солидное образование, а тем более сделать карьеру ученого.

С формулами производят операции 2-х видов: Вычисление Преобразование

Логическая функция бывает унарной и бинарной. Унарная- функция одной переменной, бинарная- 2-х и более.

К унарным функциям относятся: Отрицание- это операции, выраженная словом НЕ, т. к. логические связки рассматриваются как операции над логическими высказываниями и обозначаются чертой над высказыванием.

Таблицы, определяющие значения, составленных высказываний называются таблицами истинности. Повторение XF(x) "onstO ^onst

К бинарным функциям относятся: Бинарная операция выраженная связкой И, называется конъюнкцией, т. е. соединение. Высказывание А и В истинно тогда и только тогда, когда оба высказывания истины : 9:3 и 7>2

Х 1 х 2 х

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

Как составить таблицу истинности