梯形图中的逻辑关系定义如下

1