This HTML5 document contains 87 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n9https://global.dbpedia.org/id/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n19https://web.archive.org/web/20170412071609/https:/d403fe19-a-62cb3a1a-s-sites.googlegroups.com/site/simpogical/download/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6http://www.allaboutcircuits.com/technical-articles/prime-implicant-simplification-using-petricks-method/
n24https://code.google.com/p/quine-mccluskey-petrick/source/browse/
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n18https://archive.org/details/
n20https://web.archive.org/web/20170412071958/https:/www.allaboutcircuits.com/technical-articles/prime-implicant-simplification-using-petricks-method/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Quine–McCluskey_algorithm
dbo:wikiPageWikiLink
dbr:Petrick's_method
Subject Item
dbr:Branch-and-bound_method
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:List_of_algorithms
dbo:wikiPageWikiLink
dbr:Petrick's_method
Subject Item
dbr:Petrick's_method
rdfs:label
Petrick's method Метод Петрика Метод Петрика Metoda Petricka Metodo di Petrick
rdfs:comment
Metoda Petricka znana również jako w algebrze Boole’a została opisana przez (1931–2006) w 1956 roku do określenia wszystkich rozwiązań minimalnych sum iloczynów metody Quine’a-McCluskeya. Metoda Petricka jest bardzo żmudna dla dużej liczby zmiennych, ale jest łatwa do implementacji na komputerze. Przykład metody Petricka Zredukujmy następującą funkcję: Wykres implikantów prostych z metody Quine’a-McCluskeya przedstawia się: (uwaga, inaczej niż w punkcie 2, oznaczyliśmy wiersze literami K..Q) (K+L)(K+M)(L+N)(M+P)(N+Q)(P+Q) = (K+L)(K+M)(L+N)(M+P)(N+Q)(P+Q) = (K+LM)(N+LQ)(P+MQ) KNP LMQ Метод Петрика — метод для получения всех минимальных ДНФ из таблицы простых импликант. Предложен в 1956 году американским учёным Стэнли Роем Петриком (1931—2006). Метод Петрика довольно сложно применять для больших таблиц, но очень легко реализовать программно. Il metodo di Petrick è un algoritmo di risoluzione dei mintermini contenuti in una tabella degli implicanti primi ricavata con il metodo di Quine-McCluskey. Tale metodo, che semplifica la copertura trasponendola in forma algebrica, risulta scomodo per tabelle molto grandi, in quanto valuta tutte le possibili soluzioni, ma è facilmente implementabile in un computer tramite algoritmi di branch and bound. Il metodo di Petrick opera seguendo questi passaggi: У булевій алгебрі метод Патрика — техніка для визначення всіх мінімальних ДНФ рішень для таблиці простих імплікант, яку запропонував (1931–2006) у 1956 році. Метод Петрика дуже стомливий для великих таблиць, але його дуже просто реалізувати на комп'ютері. Приклад методу Патрика (скопійовано з http://www.mrc.uidaho.edu/mrc/people/jff/349/lect.10) Наступну функцію ми бажаємо зменшити: Таблиця основних імплікантів отримана методом Куайна — Мак Класкі наступна: Ґрунтуючись на позначках Х в попередній таблиці, будуємо КНФ згідно з третім кроком: (K+L)(K+M)(L+N)(M+P)(N+Q)(P+Q) KNP LMQ In Boolean algebra, Petrick's method (also known as Petrick function or branch-and-bound method) is a technique described by Stanley R. Petrick (1931–2006) in 1956 for determining all minimum sum-of-products solutions from a prime implicant chart. Petrick's method is very tedious for large charts, but it is easy to implement on a computer. The method was improved by and Edward Joseph McCluskey in 1962.
dcterms:subject
dbc:Boolean_algebra
dbo:wikiPageID
4147648
dbo:wikiPageRevisionID
1124655456
dbo:wikiPageWikiLink
dbr:Insley_B._Pyne dbr:Quine–McCluskey_algorithm dbr:Quine-McCluskey_algorithm dbr:Boolean_algebra_(logic) dbr:Massachusetts_Institute_of_Technology dbr:Absorption_law dbr:Stanley_R._Petrick dbr:Edward_Joseph_McCluskey dbc:Boolean_algebra dbr:Addison-Wesley_Publishers_Ltd.
dbo:wikiPageExternalLink
n6: n18:digitalsystemsde0000bolt n19:qm.pdf%3Fattachauth=ANoY7cqOUBAsLO6wiVSQKsBj0PGW5k-UaTWzufvjC0SUONIEnUE_ryij-m2BfvpSVWnKIX5c1rWlsESb0duGmCWcm0EN8o4me1ABMVlQEeru5-UuWNnEoTEnJcAPAMf9YBtKc_9-C_2EI4N0mE5kUfxiqdoLOS20oS7VLDNQPzbZA6WLetW25rG17B1voUQBZekKpQ3_cpz51xd9sxOH_YlswqUm4htfpg%3D%3D&attredirects=0&d=1 n20: n24:
owl:sameAs
n9:BCp2 dbpedia-ru:Метод_Петрика dbpedia-uk:Метод_Петрика freebase:m.0blnj6 wikidata:Q1121552 dbpedia-pl:Metoda_Petricka dbpedia-it:Metodo_di_Petrick
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Cite_book dbt:Ya dbt:Use_list-defined_references dbt:Use_dmy_dates dbt:ISBN dbt:Short_description dbt:Sdash dbt:Cite_web
dbp:cs1Dates
y
dbp:date
May 2019
dbp:group
"nb"
dbo:abstract
У булевій алгебрі метод Патрика — техніка для визначення всіх мінімальних ДНФ рішень для таблиці простих імплікант, яку запропонував (1931–2006) у 1956 році. Метод Петрика дуже стомливий для великих таблиць, але його дуже просто реалізувати на комп'ютері. 1. * Зменшити таблицю простих імплікант шляхом виключення рядків основних простих імплікантів (ядер) і відповідних стовпців. 2. * Помітити рядки зменшеної таблиці простих імплікант , , , і т.д.. 3. * Сформувати логічну функцію яка приймає значення 1 коли всі стовпці покриті. P є КНФ де кожна диз'юнкція має таку форму , де кожна представляє рядок, що покриває стовпець . 4. * Зменшити до мінімальної ДНФ множенням і застосуванням . 5. * Кожний терм в результаті представляє розв'язок, набір рядків, які покривають всі мінтерми в таблиці. Для визначення мінімального розв'язку спочатку знаходяться ті терми, які містять мінімальну кількість простих імплікант. 6. * Далі, для кожного терма знайденого на попередньому кроці, підраховуються кількість літералів в кожній основній імліканті і знаходять загальну кількість літералів. 7. * Обирають терм або терми, що утворені мінімальною кількістю літералів, і записують відповідні диз'юнкції основних імплікант. Приклад методу Патрика (скопійовано з http://www.mrc.uidaho.edu/mrc/people/jff/349/lect.10) Наступну функцію ми бажаємо зменшити: Таблиця основних імплікантів отримана методом Куайна — Мак Класкі наступна: 0 1 2 5 6 7 ---------------|------------ K (0,1) a'b' | X X L (0,2) a'c' | X X M (1,5) b'c | X X N (2,6) bc' | X X P (5,7) ac | X X Q (6,7) ab | X X Ґрунтуючись на позначках Х в попередній таблиці, будуємо КНФ згідно з третім кроком: (K+L)(K+M)(L+N)(M+P)(N+Q)(P+Q) Використовуємо дистрибутивний закон, щоб перевести цей вираз в ДНФ. Також використовуємо такі еквівалентності для спрощення результату: X + XY = X і XX = X і X+X=X = (K+L)(K+M)(L+N)(M+P)(N+Q)(P+Q) = (K+LM)(N+LQ)(P+MQ) = (KN+KLQ+LMN+LMQ)(P+MQ) = KNP + KLPQ + LMNP + LMPQ + KMNQ + KLMQ + LMNQ + LMQ Тепер знову використовуємо X + XY = X для подальшого спрощення. = KNP + KLPQ + LMNP + LMQ + KMNQ Обираємо добутки з найменшою кількістю термів, в нашому випадку це два добутки по три терма: KNP LMQ Обираємо терми з найменшою кількістю літералів. В нашому випадку обидва добутки розкладаються в 6 літералів кожен: KNP розкладається в a'b'+ bc'+ acLMQ розкладається в a'c'+ b'c + ab Таким чином один з них може бути використаний. Взагалі застосування методу Петрика стомлююче для великих таблиць, але легко реалізується на комп'ютері. Metoda Petricka znana również jako w algebrze Boole’a została opisana przez (1931–2006) w 1956 roku do określenia wszystkich rozwiązań minimalnych sum iloczynów metody Quine’a-McCluskeya. Metoda Petricka jest bardzo żmudna dla dużej liczby zmiennych, ale jest łatwa do implementacji na komputerze. 1. * Redukujemy wykres implikantów prostych przez eliminację istotnych implikantów prostych – ich wierszy i odpowiednich kolumn. 2. * Oznaczamy wiersze zredukowanego wykresu przez itd. 3. * Tworzymy funkcję logiczną która jest true, kiedy wszystkie kolumny są pokryte. P składa się z iloczynu sum, gdzie każda suma ma postać gdzie każdy reprezentuje wiersz pokrywający kolumnę 4. * Redukujemy do minimalnej sumy iloczynów przez wymnożenie i zastosowanie 5. * Każdy człon rezultatu prezentuje rozwiązanie, to znaczy zbiór wierszy, które pokrywają wszystkie iloczyny zupełne tabeli. Aby określić minimalne rozwiązania, najpierw znajdujemy te człony, które zawierają minimalną liczbę implikantów prostych. 6. * Następnie dla każdego członu znalezionego w kroku 6, zliczamy liczbę literałów w każdym implikancie prostym i znajdujemy ogólną liczbę literałów. 7. * Wybieramy ten człon albo człony, które są złożone z minimalnej ogólnej liczby literałów i zapisujemy odpowiednie sumy implikantów prostych. Przykład metody Petricka Zredukujmy następującą funkcję: Wykres implikantów prostych z metody Quine’a-McCluskeya przedstawia się: (uwaga, inaczej niż w punkcie 2, oznaczyliśmy wiersze literami K..Q) | 0 1 2 5 6 7 ---------------|------------ K (0,1) a'b' | X X L (0,2) a'c' | X X M (1,5) b'c | X X N (2,6) bc' | X X P (5,7) ac | X X Q (6,7) ab | X X Bazując na znaku X-tej tabeli, budujemy iloczyn sum wierszy, gdzie każdy wiersz jest dodawany, a kolumny są mnożone razem: (K+L)(K+M)(L+N)(M+P)(N+Q)(P+Q) Używamy prawa rozdzielności, aby uzyskać sumę iloczynów. Również używamy następujących równoważności do uproszczeń: X + XY = X i XX = X i X+X=X. Z tych uproszczeń wynika, że (A+B)(A+C) = AA+BA+AC+BC = A+BA+AC+BC = A+AC+BC = A+BC, których użyjemy na początku, aby zredukować liczbę elementów iloczynu. Poza tym A(A+B)=A (A+B)(A+CD)=A+BCD (A+B)(A+C+D) = A+BC+BD = (K+L)(K+M)(L+N)(M+P)(N+Q)(P+Q) = (K+LM)(N+LQ)(P+MQ) To pierwsze przekształcenie można wykonać, tworząc tablicę N×N, gdzie N to liczba kolumn |0 1 2 5 6 7 ----|------------ 0 |\_X X 1 | \_ X 2 | \_ X 5 | \_ X 6 | \_X 7 | \ Oznaczamy przez X wiersz n, kolumnę m, gdy literał występuje zarówno w n, jak i m. Mając teraz zaznaczone, wybieramy (0,1) , wykreślamy rząd 0 i 1, następnie (2,6), wykreślamy 2 i 6 i zostaje (5,7).Mając (2,6), mnożymy 2-gą i 6-tą sumę przez siebie. = (KN+KLQ+LMN+LMQ)(P+MQ) Mnożymy pierwszą i drugą sumę, każdy z każdym. Na razie nic nie da się uprościć w pierwszym nawiasie, bo żaden człon nie zawiera w całości innego (aby zastosować X + XY = X)Mnożymy ostatecznie to co w nawiasie przez ostatni człon: = KNP + KLPQ + LMNP + LMPQ + KMNQ + KLMQ + LMNQ + LMQ Teraz używamy znowu X + XY = X do uproszczania = KNP + KLPQ + LMNP + KMNQ + LMQ skracamy, bo LMPQ,KLMQ i LMNQ zawierają LMQ. Wybieramy iloczyny z minimalną liczbą składników. W tym przypadku będą dwa iloczyny z trzema składnikami: KNP LMQ Wybieramy iloczyny z najmniejszą liczbą literałów razem. W naszym przypadku obydwa iloczyny będą miały po 6 literałów: KNP rozwija się do a'b'+ bc'+ acLMQ rozwija się do a'c'+ b'c + ab Może być użyty albo jeden, albo drugi. Il metodo di Petrick è un algoritmo di risoluzione dei mintermini contenuti in una tabella degli implicanti primi ricavata con il metodo di Quine-McCluskey. Tale metodo, che semplifica la copertura trasponendola in forma algebrica, risulta scomodo per tabelle molto grandi, in quanto valuta tutte le possibili soluzioni, ma è facilmente implementabile in un computer tramite algoritmi di branch and bound. Il metodo di Petrick opera seguendo questi passaggi: 1. * Riduzione della tabella degli implicanti primi eliminando le righe contenenti implicanti primi essenziali (e le rispettive colonne); 2. * Etichettatura delle righe della tabella ridotta ; 3. * Costruzione di una funzione logica tale che sia vera quando tutte le colonne sono coperte ( è costituita da un prodotto di somme, dove ogni termine di somma ha la forma , in cui rappresentano una riga che copre la colonna ); 4. * Minimizzazione di in somma di prodotti applicando l'equivalenza (ciascun termine nel risultato rappresenta una soluzione, ovvero un insieme di righe che copre tutti i mintermini della tabella); 5. * Determinazione delle soluzioni minime individuando quei termini che contengono il minor numero di implicanti primi; 6. * Conteggio del numero dei letterali in ciascun implicante primo dei termini trovati precedentemente e ricerca del numero totale di letterali; 7. * Scelta dei termini formati dal minor numero totale di letterali e scrittura delle corrispondenti somme di implicanti primi. Метод Петрика — метод для получения всех минимальных ДНФ из таблицы простых импликант. Предложен в 1956 году американским учёным Стэнли Роем Петриком (1931—2006). Метод Петрика довольно сложно применять для больших таблиц, но очень легко реализовать программно. In Boolean algebra, Petrick's method (also known as Petrick function or branch-and-bound method) is a technique described by Stanley R. Petrick (1931–2006) in 1956 for determining all minimum sum-of-products solutions from a prime implicant chart. Petrick's method is very tedious for large charts, but it is easy to implement on a computer. The method was improved by and Edward Joseph McCluskey in 1962.
prov:wasDerivedFrom
wikipedia-en:Petrick's_method?oldid=1124655456&ns=0
dbo:wikiPageLength
16916
foaf:isPrimaryTopicOf
wikipedia-en:Petrick's_method
Subject Item
dbr:Index_of_philosophy_articles_(I–Q)
dbo:wikiPageWikiLink
dbr:Petrick's_method
Subject Item
dbr:Logic_optimization
dbo:wikiPageWikiLink
dbr:Petrick's_method
Subject Item
dbr:Petrick
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageDisambiguates
dbr:Petrick's_method
Subject Item
dbr:Stan_Petrick
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:Stanley_Petrick
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:Stanley_R._Petrick
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:Petrick's_Method
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:Petrick's_approach
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:Petrick's_expression
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:Petrick_expression
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:Petrick_function
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:Petrick_function_solution
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:Implicant
dbo:wikiPageWikiLink
dbr:Petrick's_method
Subject Item
dbr:S._R._Petrick
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
dbr:Petrick_method
dbo:wikiPageWikiLink
dbr:Petrick's_method
dbo:wikiPageRedirects
dbr:Petrick's_method
Subject Item
wikipedia-en:Petrick's_method
foaf:primaryTopic
dbr:Petrick's_method