Genomic Data Mining Enhanced by Symbolic Manipulation of Boolean Functions