如果“任一个”可以是“左”或“右”，但不能同时是“左”或“右”，那么为什么在Curry-Howard对应中它对应于OR而不是XOR？

问题描述

当我问this question时，答案之一（现已删除）暗示Curry-Howard correspondence中的类型List<string> listA ; /* the list is not actually a string,but for our test case let's use this (populated with M=31 items for example)*/ List<string> listB = new List<string>(); int N = 3; for(int i=0;i<listA.Count;i++){ if(i%N == 0)listB.Add(listA[i]); } 对应于XOR，而不是OR，因为它不能Either和Left同时出现。

真相在哪里？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）