Аксиомы алгебры логики

А Выход

Входы В

На выходе элемента И сигнал, соответствующий 1, появляется только в том случае, если есть сигналы на всех его входах. Следует отметить, что операция И справедлива для любого числа логических переменных, т.е. Х= А Ù В Ù С... Ù N.

Элементарные функции алгебры логики находятся в определённой связи друг с другом, что отражается на уровне аксиом, свойств и законов.

а. Х = ⌐ (`Х) — отрицание отрицания;

б. Х + Х = Х, Х Ù Х = Х – правила подобных преобразований;

в. Х + 0 = Х;

г. Х + 1 = 1;

д. Х Ù 0 = 0;

е. Х Ù 1 = Х;

ж. Х Ù`Х = 0;

з. Х +`Х = 1;

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