الگوریتم کواین-مک‌کلاسکی - زبان‌های دیگر