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

1. Функции конъюнкция, дизъюнкция, сумма по модулю 2 обладают свойством ассоциативности, что позволяет опускать скобки и использовать следующие обозначения:

_{n n}

٨ x_i = x₁ x₂... x_n, ٧ x_i = x₁ ٧ x₂ ٧...٧ x_n,

^{i=1 i=1}

2. х₁х₂ =`х<sub>1</sub> ٧`х₂, х₁ ٧ х₂ =`х<sub>1</sub>`х₂ – закон де Моргана,

– закон двойного отрицания.

3. х х = х, х ٧ х = х, х`х = 0, х ٧`х = 1,

х 0 = 0, х 1 = х, х ٧ 0 = х, х ٧ 1 = 1.

Свойства можно проверить по таблице булевых функций (табл. 3.5).