boolean algebra from truth table - Search