Алгебра логики - понятно о сложном