4.1.3 梯形图逻辑代数设计法