本文的主题是：探讨孟德尔遗传定律(以异或逻辑表述)的适用边界，分析为何人类表型多样性的理论上限(2^6000)远大于实际可观测的范围，并指出“差异的稀缺性”是导致该边界存在的根本原因。

在地球特定环境下的人类生物性状的全部可能性是个极大数。根据人类基因组计划结果，人类有约2.5万基因[1]《你为啥与众不同》科学智慧火花：王情钰。有资料显示，由单个基因决定的人类性状约有 6457种。假设有6000个单基因性状完全独立、完全显性，且我们只区分“显性(A_)”和“隐性(aa)”两种表型：6000个基因座组合起来的理论最大表型组合数即：2×2×2…×2=26000，约等于101806种。远超宇宙原子总数的天文数字。这个数字意味着，即使把地球上所有生物的个体数加起来，也远远不足以展示出所有可能的表型组合。

在实际抽样中，哪怕只杂交果蝇或豌豆，我们最多只能统计几千到几万个后代只能看到那些重组率较高、出现概率较大的少数组合。绝大多数重组型并不能显示出来，或者说在统计上表现为0，而被忽略。

人类基因表征的差异，远远小于可能的差异，主要还是特定环境的原因，自然选择的筛选作用，保持生物稳定性需要，只显示小部分差异。具体在基因层面上，直接原因有二项：

一是⑴基因相互影响，有些生物性状并非单个基因决定，而是受到多个基因的共同影响；⑵有些非等位基因在染色体上联系在一起，不发生交换和不完全交换。

第二项是两性之间独立基因的相同性。任意两个人之间的基因组序列相似度约为99.5%~99.9%，具体数值取决于比较方法和参照基因组。性状组合时，配子(精子或卵子)是单倍体，它只携带一个等位基因(要么是A，要么是a)。显性与隐性仅存在于二倍体(受精卵)的基因型层面，不适用于单倍体配子本身。配子只携带等位基因(A或a)，如果父母双方都提供A(即AA × AA)，或者都提供a(即aa × aa)，或者一方提供A另一方也提供A，XOR结果为0(纯合)，后代不发生性状分离。

在真实的自然种群中，绝大多数基因座其实是“纯合”且“无差异”的。比如“决定心脏跳动的基本蛋白基因”，所有人类都是相同的纯合子(AA)。如果这个基因发生突变(变成a)，个体可能无法存活。这类基因虽然有“显隐性”之分(A显性正常，a隐性致死)，但在活体杂交实验中，因为带a的个体死了，看不到Aa × Aa的分离，因此它不参与“组合分离”。

由于适应环境的需要，即保持生物稳定性。异或(XOR)逻辑的触发条件：必须存在“差异”，显隐性之分的配子可能是少数，这触及了孟德尔遗传定律的逻辑(XOR)的前提。

⑴异或逻辑(A⊕a﹦1即杂合)要发挥作用，必须依赖于两个亲本提供的配子在该基因座上“不同”。

⑵如果父母双方都提供A(即AA×AA)，或者都提供a(即aa×aa)，或者一方提供A另一方也提供A，XOR结果为0(纯合)，后代不发生性状分离。

总结：我们每个人约2.5万个基因的微小差异，在不同的环境作用下，最终组合成了我们看到的、千姿百态的人类社会。为了精确统计这可能的6000个基因座的组合情况，理论上需要 26000个后代才能覆盖所有可能的重组型。由于人类基因的相同性和多基因控制和生存环境的影响，在生物学和统计学中，这个数字会被急剧压缩最终形成一个连续的、呈正态分布的变异更小范围。这个范围就是用异或逻辑表达孟德尔遗传定律的边界，在测交(XOR逻辑)中简单且明确。因此，实验能数出来的、有统计学意义的表型种类，如果实际可分离的基因座只有20~50个，符合孟德尔定律的可能只有几十到几百种——因为无法提供指数级增长的样本量来捕获所有组合。