多种地图符号系统布尔代数结构的简要证明

• The brief proof for Boolean algebraic structure of multi map symbol system