double arrow

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


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

n n

٨ xi = x1 x2 ... xn , ٧ xi = x1 ٧ x2 ٧...٧ xn ,

i=1 i=1

2. х1х2 =`х1 ٧`х2, х1 ٧ х2 =`х12 – закон де Моргана,

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

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

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

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


Сейчас читают про: