WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
This Concept Map, created with IHMC CmapTools, has information related to: DIL combine operation evaluation, universally quantified includes B+B=B, UNKNOWN for example comb(U,T) = U comb(T,U) = U comb(U,F) = U comb(F,U) = U comb(U,U) =U, DIL combine operation defined generalized multi-valued pattern to compute COMBINE(TV(1), TV(2)) = TV(result), universally quantified includes F+F=F, If TV(1)<>TV(2) then TV(result) = Indeterminate For example comb(T,F) = I comb(F,T) = I, Boolean is existentially quantified, existentially quantified includes B+~B=I, three-valued element is existentially quantified, existentially quantified includes C+~C=I, universally quantified includes T+T=T, If either TV(1) is Indeterminate or TV(2) is Indeterminate then TV(result) = Indeterminate for example comb(T,I) = I comb(F,I) = I comb(I,I) = I comb(U,I) = I comb(I,U) = I comb(I,T) = I comb(I,F) = I, If TV(1)=TV(2) then TV(result) = TV(1) for example comb(F,F) = F, universally quantified includes C+C=C, existentially quantified includes A+~A=I, three-valued element is universally quantified, existentially quantified includes T+U=I, existentially quantified includes T+I=I, existentially quantified includes U+~U=I, DIL combine operation for Boolean, generalized multi-valued pattern to compute COMBINE(TV(1), TV(2)) = TV(result) is UNKNOWN