Теорема Квайна позволяет получить:

Прочерк в методе Квайна-Мак-Класки соответствует:

В методе Квайна-Мак-Класки в произведениях СДНФ переменные располагаются:

При умножении двух чисел с младших разрядов множителя в прямых кодах, чтобы получить результат с точностью не ниже, чем 2^-n нужно иметь разрядную сетку равную (n - количество разрядов):

Если нужно получить произведение двух чисел в прямых кодах с точностью не хуже, чем 2^-n (n - количество разрядов) со старших разрядов множителя, то количество дополнительных разрядов d равно: