Este documento proporciona una breve descripción de las aplicaciones modernas de modelos lógicos no binarios, donde el diseño de sistemas informáticos heterogéneos con unidades de cómputo pequeñas basadas en la lógica de tres valores produce una solución matemáticamente mejor y más efectiva en comparación con los modelos binarios.