ステップ1

一定の順序で並べられた加法標準形の各最小項について、変数が肯定の場合は“1”、 否定（補元）の場合は“0”を割り付けて、これを2進数とみなす。