A v В = Д& В А&. В = Av В
Важное значение для выполнения преобразований логических выражений имеют законы алгебраических преобразований. Многие из них имеют аналоги в обычной алгебре.
Закон коммутативности. В обычной алгебре слагаемые и множители можно менять местами. В алгебре высказываний можно менять местами логические переменные при операциях логического умножения и логического сложения:
|
|
|
| Логическое умножение
| Логическое сложение I
|
| А&В=В&А
| Л v В = A v Б I
|
|
|
|
Закон ассоциативности. Если в логическом выражении используются только операция логического умножения или только операция логического сложения, то можно пренебрегать скобками или произвольно их расставлять:
| Логическое умножение
| Логическое сложение
|
| (А & В) & С = А & (В & С)
| (Av В) v C= 4v(Sv С)
|
