backup during implementation of findImplicants backup
backup during implementation of findImplicants
backup

memo: the second bool in the pair is supposed to be true at first
      if the term is not an implicant, then it is converted to false

Red-Portal/Quine-Mccluskey