逻辑 vtks 逻辑门 逻辑函数 逻辑狗 逻辑关系 数理逻辑 不合逻辑 逻辑语 自由逻辑标识 异或逻辑 业务逻辑 三值逻辑 商业逻辑 高逻辑 梯形逻辑