The minimal algorithm takes into account special cases of OR gates