2015-03-22
671
В алгебре логики выполняются следующие основные законы, позволяющие производить тождественные преобразования логических выражений (см. таблицу5.)
Таблица 5. Основные законы алгебры логики
| Закон | Для ИЛИ | Для И | |
| Переместительный | xÚy = yÚx | xÙy = yÙx | (3) |
| Сочетательный | xÚ(yÚz) = (xÚy)Úz | xÙ(yÙz) = (xÙy)Ùz | (4) |
| Распределительный | xÙ(yÚz) = xÙyÚ xÙz | xÚ yÙz = (xÚy) Ù (xÚz) | (5) |
| Правила Де Моргана | (xÚy)= xÙ(y) | (xÙy)= xÚ(y) | (6) |
| Идемпотенции | xÚx=x | xÙx=x | (7) |
| Поглощения | xÚxÙy=x | xÙ(xÚy)=x | (8) |
| Склеивания | xÙyÚ(x)Ùy=y | (xÚy)Ù (xÚy)=y | (9) |
| Операция с переменной с ее инверсией | xÚ(x)=1 | xÙ(x)=0 | (10) |
| Операция с константами | xÚ1=x; xÚ0=х | xÙ1=x; xÙ0=0 | (11) |
| Операция двойного отрицания | (x)=x | (12) |
Примеры решения задач на логику
1. Для какого имени истинно высказывание:
(Первая буква имени гласная → Четвертая буква имени согласная)
| 1) ЕЛЕНА | 2) ВАДИМ | 3) АНТОН | 4) ФЕДОР |
