Реферат: Алгебра логики

Аналогично, сложение и логическое «ИЛИ»:

- от перестановки мест аргументов результат не изменяется

A v B = B v A

- существует следующий закон

(A v B) v С = A v (B v C)

- можно выносить общий множитель за скобки

(A & B) v (С & B) = B & (A v C)

И также некоторые собственные законы:

1) A v (~A) = ИСТИНА

2) (~A) v (~B) = ~ (A & B)

Когда вычисляется значение булевого выражения, то выполняется определённая очерёдность действий: на очерёдность влияют скобки, сначала считаются «И», затем «ИЛИ». Благодаря этой очерёдности возможно создание электронных цифровых схем.

Нахождение исходного выражения по его значениям.

В отличие от алгебраических выражений, булевы можно восстановить, зная их аргументы и соответственные им значения. Пусть нам дана булева функция от 3 переменных: