論理方程式
【ろんりほうていしき】
【ronrihouteishiki】
论理等式