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