Пример 18.3

Некоторые свойства элементарных функций

1. Идемпотентность __ и ___:

2. Коммутативность _____________

3. Ассоциативность _____________, поэтому в формулах вида ____

можно не ставить никаких скобок.

4. Дистрибутивность:

а) __ по отношению к____:

б) __ по отношению к ___:

в) __ по отношению к ___: x (y z)= xy xz.

5. Инволюция:

6. Правило ______________:

7. Законы действия с __ и __:

8. Самодистрибутивность импликации:

Равенство всех этих формул доказывается по определению, т.е. ____________ _________________, которые они реализуют.

Проверим для примера самодистрибутивность импликации:

x → (y → z)=(x → y) → (x → z).

x	y	z	y → z	x → (y → z)	x → y	x → z	→

Следствия из свойств элементарных функций

1. Законы склеивания:

______________________________ (дистрибутивность __относительно ___);

_______________________________ (дистрибутивность __ относительно __).

2. Законы поглощения:

Свойства элементарных функций и теорема о _________________________ ____________________________ позволяют упрощать формулы.

Пример 18.4.

Упростить формулы 1). ; 2). .

Решение.

Дата добавления: 2014-01-07