An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

The Quine–McCluskey algorithm (QMC), also known as the method of prime implicants, is a method used for minimization of Boolean functions that was developed by Willard V. Quine in 1952 and extended by Edward J. McCluskey in 1956. As a general principle this approach had already been demonstrated by the logician Hugh McColl in 1878, was proved by Archie Blake in 1937, and was rediscovered by Edward W. Samson and Burton E. Mills in 1954 and by Raymond J. Nelson in 1955. Also in 1955, Paul W. Abrahams and John G. Nordahl as well as Albert A. Mullin and Wayne G. Kellner proposed a decimal variant of the method.

Property Value
dbo:abstract
  • طريقة كوين – ماكلوسكي في اختصار التوابع المنطقية (The Quine – Mc Cluskosy Minimization). هي طريقة لاختصار المعادلات المنطقية ولها مجال واسع في علم الحاسوب وذلك لسهولة دمجها في خوارزميات الحاسوب ولما تحققه من تبسيط للمعادلات المنطقية المركبة وبذلك تقليل التكلفة.قام ماكلوسكي بتعميم طريقة كوين للتعامل مع عدد أكبر من المتغيرات وذلك باستخدام الحدود الدنيا للتابع (minterms) وبمراعاة ترميز غراي (Gray Coding). (ar)
  • Das Verfahren nach Quine und McCluskey (QMCV, nach Willard Van Orman Quine und Edward J. McCluskey) ist eine Methode, um Boolesche Funktionen zu minimieren. Der Kern des Verfahrens wurde bereits von Quine vollständig beschrieben. Die Verfeinerungen von McCluskey betreffen im Wesentlichen die praktische algorithmische Durchführbarkeit. Die Minimierung ist u. a. deshalb wichtig, weil dadurch die hardwaretechnische Realisierung einfacher und daher kostengünstiger wird. Der Vorteil dieses Verfahrens ist, dass es sich verhältnismäßig leicht in ein Computerprogramm fassen und so mittels eines Computers ausführen lässt. Das Verfahren benötigt im schlechtesten Fall exponentielle Laufzeit, um eine minimale Lösung zu finden. Das Verfahren findet immer eine minimale Lösung, es ist jedoch möglich, dass es noch andere (gleichwertige) Lösungen gibt, die nicht gefunden werden. Da das zugrunde liegende Problem NP-vollständig ist, gibt es unter der Annahme, dass P ≠ NP gilt, kein in diesem Sinne effizientes Verfahren. Das Verfahren bezieht sich zunächst nur auf Funktionsdarstellungen in kanonischer disjunktiver Normalform (KDNF). Ausdrücke in konjunktiver Normalform (KNF) lassen sich jedoch ohne weiteres über die Verneinung der betrachteten Funktion zunächst in eine DNF umwandeln, dann wie unten beschrieben minimieren und schließlich durch erneute Verneinung in eine KNF zurücktransformieren. (de)
  • El Algoritmo Quine–McCluskey Es un método de simplificación de funciones booleanas desarrollado por Willard Van Orman Quine y Edward J. McCluskey. Es funcionalmente idéntico a la utilización del mapa de Karnaugh, pero su forma tabular lo hace más eficiente para su implementación en lenguajes computacionales, y provee un método determinista de conseguir la mínima expresión de una función booleana. (es)
  • The Quine–McCluskey algorithm (QMC), also known as the method of prime implicants, is a method used for minimization of Boolean functions that was developed by Willard V. Quine in 1952 and extended by Edward J. McCluskey in 1956. As a general principle this approach had already been demonstrated by the logician Hugh McColl in 1878, was proved by Archie Blake in 1937, and was rediscovered by Edward W. Samson and Burton E. Mills in 1954 and by Raymond J. Nelson in 1955. Also in 1955, Paul W. Abrahams and John G. Nordahl as well as Albert A. Mullin and Wayne G. Kellner proposed a decimal variant of the method. The Quine–McCluskey algorithm is functionally identical to Karnaugh mapping, but the tabular form makes it more efficient for use in computer algorithms, and it also gives a deterministic way to check that the minimal form of a Boolean function has been reached. It is sometimes referred to as the tabulation method. The method involves two steps: 1. * Finding all prime implicants of the function. 2. * Use those prime implicants in a prime implicant chart to find the essential prime implicants of the function, as well as other prime implicants that are necessary to cover the function. (en)
  • La méthode de Quine-McCluskey est un algorithme systématique pour minimiser une fonction booléenne quelconque, développé par Willard V. Quine, puis étendu par Edward J. McCluskey. (fr)
  • クワイン・マクラスキー法(—ほう; Quine–McCluskey algorithm/略:QM法)はブール関数を簡単化するための方法である。カルノー図と同様の目的で使われるが、コンピュータによる自動化に適しており、またブール関数が最簡形かどうか決定的に求めることができる。W・V・クワインが提案し、が発展させた方法なのでこの名がある。 クワイン・マクラスキー法は3段階からなる。 1. * 関数の主項をすべて求める 2. * 求めた主項を表にまとめ、必須項を求める 3. * 最簡形を求める (ja)
  • 콰인-매클러스키 알고리즘(Quine-McCluskey algorithm)은 논리식을 최소화하는 알고리즘이다. 내부적으로는 카노 맵과 동일하지만, 그림을 그려서 맞추는 카노 맵과 달리 표를 사용하기 때문에 컴퓨터에서 쉽게 돌릴 수 있다. 또한 논리함수의 최소 형태를 결정론적으로 구할 수 있다. 알고리즘은 다음 두 단계로 구성된다. 1. * 주어진 함수의 후보항(Prime Implicants)들을 모두 구한다. 2. * 후보항들을 이용해서 후보항 표에서 필수항(Essential Prime Implicant)을 구한다. (ko)
  • Il metodo di Quine-McCluskey (o metodo degli implicanti primi) è un algoritmo sviluppato da Willard Van Orman Quine ed Edward McCluskey che viene utilizzato nelle reti combinatorie a due livelli di logica per la minimizzazione di una funzione booleana di n variabili. Il metodo è funzionalmente identico alla mappa di Karnaugh, ma la sua forma tabellare lo rende più efficiente per essere realizzato al computer; inoltre fornisce anche un modo deterministico per testare la minimizzazione di una funzione booleana. Il metodo consiste in due passi: 1. * Identificare tutti gli implicanti primi della funzione. 2. * Riportare gli implicanti primi trovati in una tabella per ricavare gli implicanti primi essenziali della funzione. (it)
  • Metoda Quine’a-McCluskeya – sposób minimalizacji funkcji boolowskich opracowany przez Willarda Van Ormana Quine’a i . Daje rezultaty identyczne do metody tablic Karnaugh, ale w przeciwieństwie do niej, dużo łatwiej daje się zaimplementować na komputerze. (pl)
  • O Algoritmo de Quine–McCluskey (ou método dos implicantes primos) é um método utilizado para minimização de funções booleanas desenvolvido por W.V. Quine e em 1956. É funcionalmente idêntico ao mapa de Karnaugh, mas a forma tabular o faz mais eficiente para uso em algoritmos computacionais, além de fornecer um algoritmo determinístico para checar se a forma mais simplificada de uma função booleana foi alcançada. O procedimento consiste em 3 etapas: 1. * Encontrar todos os da função; 2. * Usar esses implicantes primos num mapa de implicantes primos para encontrar os da função; 3. * Usar os e se necessário alguns para encontrar a função minimizada. (pt)
  • Метод Куайна—Мак-Класки (англ. Quine–McCluskey method) — табличный метод минимизации булевых функций, предложенный Уиллардом Куайном и усовершенствованный . Представляет собой попытку избавиться от недостатков метода Куайна. (ru)
  • Метод Куайна — Мак-Класкі (метод простих імплікант) - табличний метод мінімізації булевих функцій розроблений і . Функціонально ідентичний карті Карно, але таблична форма робить його ефективнішим для використання в комп'ютерних алгоритмах. (uk)
  • 奎因-麦克拉斯基算法(Quine-McCluskey算法)是最小化布尔函数的一种方法。它在功能上等同于卡诺图,但是它具有文字表格的形式,因此它更适合用于电子设计自动化算法的实现,并且它还给出了检查布尔函数是否达到了最小化形式的确定性方法。 方法涉及两步: 1. * 找到这个函数的所有素蕴涵项。 2. * 使用这些素蕴涵项(prime implicant)来找到这个函数的本质素蕴涵项(essential prime implicant),对覆盖这个函数是必须的其他素蕴涵项也同样要使用。 (zh)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 317263 (xsd:integer)
dbo:wikiPageLength
  • 35720 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1124690290 (xsd:integer)
dbo:wikiPageWikiLink
dbp:cs1Dates
  • y (en)
dbp:date
  • August 2019 (en)
  • May 2017 (en)
dbp:reason
  • The reference correctly describes the situation in 1995. We need to expand this to include the changes of the past twenty years, however. (en)
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • طريقة كوين – ماكلوسكي في اختصار التوابع المنطقية (The Quine – Mc Cluskosy Minimization). هي طريقة لاختصار المعادلات المنطقية ولها مجال واسع في علم الحاسوب وذلك لسهولة دمجها في خوارزميات الحاسوب ولما تحققه من تبسيط للمعادلات المنطقية المركبة وبذلك تقليل التكلفة.قام ماكلوسكي بتعميم طريقة كوين للتعامل مع عدد أكبر من المتغيرات وذلك باستخدام الحدود الدنيا للتابع (minterms) وبمراعاة ترميز غراي (Gray Coding). (ar)
  • El Algoritmo Quine–McCluskey Es un método de simplificación de funciones booleanas desarrollado por Willard Van Orman Quine y Edward J. McCluskey. Es funcionalmente idéntico a la utilización del mapa de Karnaugh, pero su forma tabular lo hace más eficiente para su implementación en lenguajes computacionales, y provee un método determinista de conseguir la mínima expresión de una función booleana. (es)
  • La méthode de Quine-McCluskey est un algorithme systématique pour minimiser une fonction booléenne quelconque, développé par Willard V. Quine, puis étendu par Edward J. McCluskey. (fr)
  • クワイン・マクラスキー法(—ほう; Quine–McCluskey algorithm/略:QM法)はブール関数を簡単化するための方法である。カルノー図と同様の目的で使われるが、コンピュータによる自動化に適しており、またブール関数が最簡形かどうか決定的に求めることができる。W・V・クワインが提案し、が発展させた方法なのでこの名がある。 クワイン・マクラスキー法は3段階からなる。 1. * 関数の主項をすべて求める 2. * 求めた主項を表にまとめ、必須項を求める 3. * 最簡形を求める (ja)
  • 콰인-매클러스키 알고리즘(Quine-McCluskey algorithm)은 논리식을 최소화하는 알고리즘이다. 내부적으로는 카노 맵과 동일하지만, 그림을 그려서 맞추는 카노 맵과 달리 표를 사용하기 때문에 컴퓨터에서 쉽게 돌릴 수 있다. 또한 논리함수의 최소 형태를 결정론적으로 구할 수 있다. 알고리즘은 다음 두 단계로 구성된다. 1. * 주어진 함수의 후보항(Prime Implicants)들을 모두 구한다. 2. * 후보항들을 이용해서 후보항 표에서 필수항(Essential Prime Implicant)을 구한다. (ko)
  • Metoda Quine’a-McCluskeya – sposób minimalizacji funkcji boolowskich opracowany przez Willarda Van Ormana Quine’a i . Daje rezultaty identyczne do metody tablic Karnaugh, ale w przeciwieństwie do niej, dużo łatwiej daje się zaimplementować na komputerze. (pl)
  • Метод Куайна—Мак-Класки (англ. Quine–McCluskey method) — табличный метод минимизации булевых функций, предложенный Уиллардом Куайном и усовершенствованный . Представляет собой попытку избавиться от недостатков метода Куайна. (ru)
  • Метод Куайна — Мак-Класкі (метод простих імплікант) - табличний метод мінімізації булевих функцій розроблений і . Функціонально ідентичний карті Карно, але таблична форма робить його ефективнішим для використання в комп'ютерних алгоритмах. (uk)
  • 奎因-麦克拉斯基算法(Quine-McCluskey算法)是最小化布尔函数的一种方法。它在功能上等同于卡诺图,但是它具有文字表格的形式,因此它更适合用于电子设计自动化算法的实现,并且它还给出了检查布尔函数是否达到了最小化形式的确定性方法。 方法涉及两步: 1. * 找到这个函数的所有素蕴涵项。 2. * 使用这些素蕴涵项(prime implicant)来找到这个函数的本质素蕴涵项(essential prime implicant),对覆盖这个函数是必须的其他素蕴涵项也同样要使用。 (zh)
  • Das Verfahren nach Quine und McCluskey (QMCV, nach Willard Van Orman Quine und Edward J. McCluskey) ist eine Methode, um Boolesche Funktionen zu minimieren. Der Kern des Verfahrens wurde bereits von Quine vollständig beschrieben. Die Verfeinerungen von McCluskey betreffen im Wesentlichen die praktische algorithmische Durchführbarkeit. Die Minimierung ist u. a. deshalb wichtig, weil dadurch die hardwaretechnische Realisierung einfacher und daher kostengünstiger wird. Der Vorteil dieses Verfahrens ist, dass es sich verhältnismäßig leicht in ein Computerprogramm fassen und so mittels eines Computers ausführen lässt. Das Verfahren benötigt im schlechtesten Fall exponentielle Laufzeit, um eine minimale Lösung zu finden. Das Verfahren findet immer eine minimale Lösung, es ist jedoch möglich, das (de)
  • The Quine–McCluskey algorithm (QMC), also known as the method of prime implicants, is a method used for minimization of Boolean functions that was developed by Willard V. Quine in 1952 and extended by Edward J. McCluskey in 1956. As a general principle this approach had already been demonstrated by the logician Hugh McColl in 1878, was proved by Archie Blake in 1937, and was rediscovered by Edward W. Samson and Burton E. Mills in 1954 and by Raymond J. Nelson in 1955. Also in 1955, Paul W. Abrahams and John G. Nordahl as well as Albert A. Mullin and Wayne G. Kellner proposed a decimal variant of the method. (en)
  • Il metodo di Quine-McCluskey (o metodo degli implicanti primi) è un algoritmo sviluppato da Willard Van Orman Quine ed Edward McCluskey che viene utilizzato nelle reti combinatorie a due livelli di logica per la minimizzazione di una funzione booleana di n variabili. Il metodo è funzionalmente identico alla mappa di Karnaugh, ma la sua forma tabellare lo rende più efficiente per essere realizzato al computer; inoltre fornisce anche un modo deterministico per testare la minimizzazione di una funzione booleana. Il metodo consiste in due passi: (it)
  • O Algoritmo de Quine–McCluskey (ou método dos implicantes primos) é um método utilizado para minimização de funções booleanas desenvolvido por W.V. Quine e em 1956. É funcionalmente idêntico ao mapa de Karnaugh, mas a forma tabular o faz mais eficiente para uso em algoritmos computacionais, além de fornecer um algoritmo determinístico para checar se a forma mais simplificada de uma função booleana foi alcançada. O procedimento consiste em 3 etapas: (pt)
rdfs:label
  • اختصار التوابع المنطقية بطريقة كوين ماكلوسكي (ar)
  • Verfahren nach Quine und McCluskey (de)
  • Algoritmo Quine–McCluskey (es)
  • Méthode de Quine-Mc Cluskey (fr)
  • Metodo di Quine-McCluskey (it)
  • 콰인-매클러스키 알고리즘 (ko)
  • クワイン・マクラスキー法 (ja)
  • Quine–McCluskey algorithm (en)
  • Metoda Quine’a-McCluskeya (pl)
  • Algoritmo de Quine-McCluskey (pt)
  • Метод Куайна — Мак-Класки (ru)
  • 奎因-麦克拉斯基算法 (zh)
  • Метод Куайна — Мак-Класкі (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:notableIdea of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License