Реферат: Конспект лекций по дискретной математике
3. Графическая
4. Таблично-графическая (в виде карты Карно)
5. Числовая
6. Символическая форма
1) Аналитическая:
_ _
y=(x1 Ú x2 ) x3
_ _ _ _ _ _
y=x1 x2 x3 Ú x1 x2 x3 Ú x1 x2 x3
2) Табличная:
x1 | x2 | x3 |
_ x1 Ú x2 | y |
| 0 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 |
| 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 |
Переход от аналитической к табличной однозначен! Обратный переход не является однозначным.
Основные законы (тождества)
1) ab=ba
aÚb=bÚa
2) Ассоциативный:
a(bc)=(ab)c
aÚ(bÚc)= (aÚb) Úc
3) Дистрибутивный:
a(bÚc)=abÚac
aÚ(bc)=(aÚb)(aÚc)
4) Закон двойного отрицания:
=
a=a
5) Тавтологии:
aa=a
aÚa=a
6) Законы нулевого элемента:
a0=0
aÚ0=a