Minumatch, Logické