Quine - Mc Clusky Algorithm