6.7 实验 不同形式逻辑表达式转换的测试