Mejor Software educativo y la ciencia Para Pierre Sarrazin

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 :. ...