michelts/quine-mccluskey-algorytm archive