逻辑判断只有0和1，0+0在逻辑判断中，0为否，+为且，A否且B否，答案一定为否，所以等于0。
在传统的亚里士多德逻辑中，逻辑判断(英语：Logicdecision）是“结论，可从叫做前提的已知事实，“必然的”得出的推理”。如果前提为真，则结论必然为真。这区别于溯因推理和归纳推理，它们的前提可以预测出高概率的结论，但是不确保结论为真。“逻辑判断”还可以定义为结论在普遍性上不大于前提的推理，或“结论在确定性上，同前提一样”的推理。逻辑判断又称三段论推理，是由两个前提和一个结论组成，大前提是一般原理（规律），即抽象得出一般性、统一性的成果；小前提是指个别对象，这是从一般到个别的推理，从这个推理，然后得出结论。又称从规律到现象的推理。是从普通回到特殊再回到个别。逻辑判断正确的条件：若大小前提正确，则结论正确；若大前提或小前提错误，则结论错误。
功能：使t为a、b、c三者中的最大值。(a>b?a:b)的意思是如果a>b的话整个表达式的值就a，否则为b；t=c>(a>b?a:b)?
c:(a>b?a:b)是c与a、b中的大者比较，若c大于a、b中的大者则将?号后的c赋给t，否则将:后的(a>b?a:b)表达式中的大者赋给t。这样就完成了取三者中最大者的功能。
