К.рпо алгебре логики