一个逻辑问题可以用多种形式的逻辑函数来表示每一种形式