BoolStuff

BoolStuff es una biblioteca de C que puede soportar un par de operaciones de expresión árboles binarios booleanos.
Un comando llamado booldnf que llama a esta biblioteca para convertir una expresión a la DNF también se proporciona

Características :.

• simple analizador de expresiones boolean (soporta los operadores AND, OR y NOT, así como entre paréntesis);
• un algoritmo para convertir una expresión árbol binario booleano en su forma normal disyuntiva (este algoritmo es compatible con el operador NOT);
• una función que determina si un árbol de expresión está en DNF.

¿Qué hay de nuevo en esta versión:

• Esta versión corrige un error por el que algunas expresiones que contienen grandes negaciones haría fallar una sentencia assert en lugar de devolver la expresión nula esperado.
• También corrige un error por el que no se detectaron algunos términos duplicados porque sus factores necesarios para ser ordenados y ellos mismos han simplificado para permitir que la detección.
• Además, g ++ 4.7.2 errores de compilación se fijaron (re: intercambio () función)
.

¿Qué hay de nuevo en la versión 0.1.12:.

• Las pérdidas de memoria se han fijado
• Un error con la expresión una y! A ha corregido.
• El código fuente ahora compila como está con g ++ 4.3.0.