Lista de distributividades y asociatividades posibles en lógica triproposicional
Sistema Experto en Deducción Natural
Sistema Experto para Resolver Problemas Lógicos de Deducción
GENERADOR DE GENES (GENGEN)