Алгебра логики: Обозначения и принципы