not using nand truth table - Search