亨普尔验证悖论,又叫乌鸦悖论,是同时运用逻辑演算和尼柯德标准产生的。
Ternary optical coder , decoder and ternary logical calculus belong to key components of ternary optical computer, and they are the base of implementing other components of the optical computer.三值光编码、解码器和三值逻辑运算器是三值光计算机关键部件,是实现三值光计算机其它部件的基础。