balanced ternary values, are assigned to FALSE, UNKNOWN and TRUE such that FALSE is less than UNKNOWN and UNKNOWN is less than TRUE, then A AND B AND C... = MIN(A, B, C ...) and A OR B OR C ... = MAX(A, B, C...).
Например, поскольку T & F = F и F & F = F, то и U & F = F. В более общем виде: если для некоторой логической операции OPER выполняется соотношение OPER(F,F)=OPER(F,T), то OPER(F,U)=OPER(F,F)=OPER(F,T).