クワイン・マクラスキの方法は、加法標準形で表された論理関数の各最小項を2進数で表現し、 6.1で示した性質##307>、 ##308>を満たす項の組を見つけ出すことにより、隣接項を探すものである。 次に例を交えてその手順を示す。