查找： 关键词为 programmable controller ladder shaped figure logical algebra 的文献