\n
using System; using System.IO; using System.Collections.Generic; using System.Linq; \/\/\/ <summary> \/\/\/ \u0411\u0430\u0437\u043e\u0432\u044b\u0439 \u043a\u043b\u0430\u0441\u0441 \u0434\u043b\u044f \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \/\/\/ <\/summary> public abstract class LogicFunction { \/\/\u0414\u0438\u0437\u044a\u044e\u043d\u043a\u0446\u0438\u0438 \u0438\u043b\u0438 \u043a\u043e\u043d\u044a\u044e\u043d\u043a\u0446\u0438\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 public readonly ICollection<char[]> Terms = new LinkedList<char[]>(); \/\/\u0412\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0438 public abstract bool Calculate(bool[] X); \/\/\u0412\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0438 public virtual bool Calculate(char[] X) { return Calculate(X.Select(p => p != '0').ToArray()); } } \/\/\/ <summary> \/\/\/ \u0414\u0438\u0437\u044a\u044e\u043d\u043a\u0442\u0438\u0432\u043d\u0430\u044f \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u0430\u044f \u0444\u043e\u0440\u043c\u0430 \/\/\/ <\/summary> public class Dnf : LogicFunction { public override bool Calculate(bool[] X) { bool bResult = false; foreach (char[] term in Terms) { bool TermVal = true; for (int i = 0; i < term.Length; i++) { if (term[i] == '*') continue; TermVal &= (term[i] != '0' ? X[i] : !X[i]); } bResult |= TermVal; } return bResult; } } \/\/\/ <summary> \/\/\/ \u041a\u043e\u043d\u044a\u044e\u043d\u043a\u0442\u0438\u0432\u043d\u0430\u044f \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u0430\u044f \u0444\u043e\u0440\u043c\u0430 \/\/\/ <\/summary> public class Knf : LogicFunction { public override bool Calculate(bool[] X) { bool bResult = true; foreach (char[] term in Terms) { bool TermVal = false; for (int i = 0; i < term.Length; i++) { if (term[i] == '*') continue; TermVal |= (term[i] != '0' ? X[i] : !X[i]); } bResult &= TermVal; } return bResult; } } \/\/\/ <summary> \/\/\/ \u041c\u0438\u043d\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043c\u0435\u0442\u043e\u0434\u043e\u043c \u041a\u0432\u0430\u0439\u043d\u0430---\u041c\u0430\u043a-\u041a\u043b\u0430\u0441\u043a\u0438 \/\/\/ <\/summary> public class Quine_McCluskey { private readonly Dnf _result = new Dnf(); public Dnf Result { get { return _result; } } \/\/\u0417\u0430\u043f\u0443\u0441\u043a \u043c\u0435\u0442\u043e\u0434\u0430 public void Start(IEnumerable<char[]> TermInput) { LogicFuncMinimize(TermInput, _result.Terms); } \/\/\u0417\u0430\u043f\u0443\u0441\u043a \u043c\u0435\u0442\u043e\u0434\u0430 public void Start(string sFileName) { Start(LoadDsnfFromFile(sFileName)); } \/\/\u041d\u0430\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u0435 \u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u043e\u0439 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 private static void LogicFuncMinimize(IEnumerable<char[]> X1, ICollection<char[]> OutR) { Dictionary<int, LinkedList<TreeNodeEnd>> OutTemp = new Dictionary<int, LinkedList<TreeNodeEnd>>(); if (X1.First().Length <= 40) { Dictionary<UInt64, TreeNodeEnd> X1Tree = new Dictionary<UInt64, TreeNodeEnd>(); DeleteDublicatingTerms(X1, X1Tree); int iLevelCounter = 0; \/\/\u041f\u043e\u0432\u0442\u043e\u0440 \u0434\u043e \u0442\u0435\u0445 \u043f\u043e\u0440 \u043f\u043e\u043a\u0430 \u0431\u0443\u0434\u0443\u0442 \u043e\u0441\u0442\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0442\u0435\u0440\u043c\u044b while (X1Tree.Count != 0) { Dictionary<UInt64, TreeNodeEnd> X2Tree = new Dictionary<UInt64, TreeNodeEnd>(); Skleivanie(X1Tree, X2Tree, OutTemp, iLevelCounter++); X1Tree = X2Tree; GC.Collect(); \/\/\u041e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0441\u0431\u043e\u0440\u043a\u0438 \u043c\u0443\u0441\u043e\u0440\u0430 \u043e\u0447\u0435\u043d\u044c \u0441\u0438\u043b\u044c\u043d\u043e \u0432\u043b\u0438\u044f\u0435\u0442 \u043d\u0430 \u0432\u0440\u0435\u043c\u044f \u0440\u0430\u0431\u043e\u0442\u044b!!! } } else { TreeFuncTerm X1Tree = new TreeFuncTerm(); DeleteDublicatingTerms(X1, X1Tree); int iLevelCounter = 0; \/\/\u041f\u043e\u0432\u0442\u043e\u0440 \u0434\u043e \u0442\u0435\u0445 \u043f\u043e\u0440 \u043f\u043e\u043a\u0430 \u0431\u0443\u0434\u0443\u0442 \u043e\u0441\u0442\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0442\u0435\u0440\u043c\u044b while (X1Tree.Count != 0) { TreeFuncTerm X2Tree = new TreeFuncTerm(); Skleivanie(X1Tree, X2Tree, OutTemp, iLevelCounter++); X1Tree = X2Tree; GC.Collect(); \/\/\u041e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0441\u0431\u043e\u0440\u043a\u0438 \u043c\u0443\u0441\u043e\u0440\u0430 \u043e\u0447\u0435\u043d\u044c \u0441\u0438\u043b\u044c\u043d\u043e \u0432\u043b\u0438\u044f\u0435\u0442 \u043d\u0430 \u0432\u0440\u0435\u043c\u044f \u0440\u0430\u0431\u043e\u0442\u044b!!! } } HashSet<TreeNodeEnd> OutRes = new HashSet<TreeNodeEnd>(); ReduceRedundancyTerms(OutTemp, OutRes); OutR.Clear(); foreach (TreeNodeEnd term in OutRes) OutR.Add(term.Term); } \/\/\u041f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0430 \u0447\u0442\u0435\u043d\u0438\u044f \u0414\u0421\u041d\u0424 \u0438\u0437 \u0444\u0430\u0439\u043b\u0430 \u0438 \u0437\u0430\u043f\u0438\u0441\u044c \u0432 \u043c\u0430\u0442\u0440\u0438\u0446\u0443 private static ICollection<char[]> LoadDsnfFromFile(string sFullFileName) { ICollection<char[]> DSNF = new LinkedList<char[]>(); \/\/\u0427\u0442\u0435\u043d\u0438\u0435 \u0441\u0442\u0440\u043e\u043a \u0438\u0437 \u0444\u0430\u0439\u043b\u0430 using (StreamReader InFile = new StreamReader(sFullFileName)) { string sLine = ""; while ((sLine = InFile.ReadLine()) != null) { DSNF.Add(sLine.ToArray()); } } return DSNF; } \/\/\u0423\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u0434\u0443\u0431\u043b\u0438\u043a\u0430\u0442\u043e\u0432 \u0442\u0435\u0440\u043c\u043e\u0432 \u0438\u0437 \u0432\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430 \/\/\u0412 \u0432\u044b\u0445\u043e\u0434\u043d\u043e\u0439 \u0441\u043b\u043e\u0432\u0430\u0440\u044c \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u044b\u0435 \u0442\u0435\u0440\u043c\u044b private static void DeleteDublicatingTerms(IEnumerable<char[]> InX1, Dictionary<UInt64, TreeNodeEnd> OutX2Tree) { OutX2Tree.Clear(); TreeNodeEnd pCurrNode = null; foreach (char[] x1 in InX1) { UInt64 iCode = GetTermCode(x1); if (OutX2Tree.ContainsKey(iCode)) continue; pCurrNode = new TreeNodeEnd(x1, null, null, pCurrNode, OutX2Tree.Count); OutX2Tree.Add(iCode, pCurrNode); } } \/\/\u0423\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u0434\u0443\u0431\u043b\u0438\u043a\u0430\u0442\u043e\u0432 \u0442\u0435\u0440\u043c\u043e\u0432 \u0438\u0437 \u0432\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430 \/\/\u0412 \u0432\u044b\u0445\u043e\u0434\u043d\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u044b\u0435 \u0442\u0435\u0440\u043c\u044b private static void DeleteDublicatingTerms(IEnumerable<char[]> InX1, TreeFuncTerm OutX2Tree) { OutX2Tree.Clear(); foreach (char[] x1 in InX1) { OutX2Tree.AddTerm(x1, null, null); } } \/\/\u0421\u043a\u043b\u0435\u0438\u0432\u0430\u043d\u0438\u0435 \u0441\u0442\u0440\u043e\u043a \u0441 \u043e\u0434\u043d\u0438\u043c \u0440\u0430\u0437\u043b\u0438\u0447\u0438\u0435\u043c private static void Skleivanie(TreeFuncTerm X1Tree, TreeFuncTerm X2Tree, Dictionary<int, LinkedList<TreeNodeEnd>> OutResult, int iLevel) { LinkedList<TreeNodeEnd> OutR = new LinkedList<TreeNodeEnd>(); OutResult.Add(iLevel, OutR); Dictionary<int, TreeNodeEnd> FindTerms = new Dictionary<int, TreeNodeEnd>(); TreeNodeEnd x1 = X1Tree.Last; while (x1 != null) { X1Tree.SearchDiff1(x1, FindTerms); if (FindTerms.Count == 0) { \/\/\u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043d\u0430 \u0432\u044b\u0445\u043e\u0434 \u0442\u0435\u0445 \u0442\u0435\u0440\u043c\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0438 \u0441 \u043a\u0435\u043c \u043d\u0435 \u0441\u043a\u043b\u0435\u0438\u043b\u0438\u0441\u044c OutR.AddLast(x1); } else { foreach (KeyValuePair<int, TreeNodeEnd> kvp in FindTerms) { \/\/\u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430, \u0447\u0442\u043e\u0431\u044b \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0438 \u0442\u0435\u0440\u043c\u043e\u0432 \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u043b\u0438\u0441\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e \u043e\u0434\u043d\u043e\u043c\u0443 \u0440\u0430\u0437\u0443 if (x1.Number < kvp.Value.Number) continue; \/\/\u0421\u043a\u043b\u0435\u0438\u0432\u0430\u043d\u0438\u0435 \u0434\u0432\u0443\u0445 \u0442\u0435\u0440\u043c\u043e\u0432 \u0441 \u043e\u0434\u043d\u0438\u043c \u0440\u0430\u0437\u043b\u0438\u0447\u0438\u0435\u043c char cSymbSav = x1.Term[kvp.Key]; x1.Term[kvp.Key] = '*'; \/\/\u041c\u0435\u0442\u043a\u0430 \u0441\u043a\u043b\u0435\u0438\u0432\u0430\u043d\u0438\u044f X2Tree.AddTerm(x1.Term, x1, kvp.Value); x1.Term[kvp.Key] = cSymbSav; } } x1 = x1.Prev; } } \/\/\u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u044b\u0439 \u043a\u043e\u0434 \u0434\u043b\u044f \u0442\u0435\u0440\u043c\u0430 private static UInt64 GetTermCode(char[] pTerm) { UInt64 iMultip = 1, iCode = 0; for (int i = 0; i < pTerm.Length; i++) { switch (pTerm[i]) { case '0': break; case '1': iCode += iMultip; break; case '*': iCode += (iMultip + iMultip); break; } iMultip *= 3; } return iCode; } \/\/\u0421\u043a\u043b\u0435\u0438\u0432\u0430\u043d\u0438\u0435 \u0441\u0442\u0440\u043e\u043a \u0441 \u043e\u0434\u043d\u0438\u043c \u0440\u0430\u0437\u043b\u0438\u0447\u0438\u0435\u043c private static void Skleivanie(Dictionary<UInt64, TreeNodeEnd> X1Tree, Dictionary<UInt64, TreeNodeEnd> X2Tree, Dictionary<int, LinkedList<TreeNodeEnd>> OutResult, int iLevel) { LinkedList<TreeNodeEnd> OutR = new LinkedList<TreeNodeEnd>(); OutResult.Add(iLevel, OutR); foreach (KeyValuePair<UInt64, TreeNodeEnd> x1 in X1Tree) { bool bIsSkleiv = false; UInt64 iMultip = 1; for (int iPos = 0; iPos < x1.Value.Term.Length; iPos++) { char cSymbSav = x1.Value.Term[iPos]; if (cSymbSav != '*') { UInt64 iCode; if (cSymbSav == '0') iCode = x1.Key + iMultip; else \/\/_if (cSymbSav == '1') iCode = x1.Key - iMultip; TreeNodeEnd pSkleivNode = null; X1Tree.TryGetValue(iCode, out pSkleivNode); if (pSkleivNode != null) { bIsSkleiv = true; \/\/\u041f\u0440\u043e\u0432\u0435\u0440\u043a\u0430, \u0447\u0442\u043e\u0431\u044b \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0446\u0438\u0438 \u0442\u0435\u0440\u043c\u043e\u0432 \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u043b\u0438\u0441\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u043e \u043e\u0434\u043d\u043e\u043c\u0443 \u0440\u0430\u0437\u0443 if (x1.Value.Number > pSkleivNode.Number) { \/\/\u0421\u043a\u043b\u0435\u0438\u0432\u0430\u043d\u0438\u0435 \u0434\u0432\u0443\u0445 \u0442\u0435\u0440\u043c\u043e\u0432 \u0441 \u043e\u0434\u043d\u0438\u043c \u0440\u0430\u0437\u043b\u0438\u0447\u0438\u0435\u043c if (cSymbSav == '0') iCode = x1.Key + iMultip + iMultip; else \/\/_if (cSymbSav == '1') iCode = x1.Key + iMultip; x1.Value.Term[iPos] = '*'; \/\/\u041c\u0435\u0442\u043a\u0430 \u0441\u043a\u043b\u0435\u0438\u0432\u0430\u043d\u0438\u044f if (!X2Tree.ContainsKey(iCode)) X2Tree.Add(iCode, new TreeNodeEnd(x1.Value.Term, x1.Value, pSkleivNode, null, X2Tree.Count)); x1.Value.Term[iPos] = cSymbSav; } } } iMultip *= 3; } if (!bIsSkleiv) { \/\/\u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043d\u0430 \u0432\u044b\u0445\u043e\u0434 \u0442\u0435\u0445 \u0442\u0435\u0440\u043c\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0438 \u0441 \u043a\u0435\u043c \u043d\u0435 \u0441\u043a\u043b\u0435\u0438\u043b\u0438\u0441\u044c OutR.AddLast(x1.Value); } } } \/\/ \u041e\u0442\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u043d\u0438\u0435 \u0438\u0437\u0431\u044b\u0442\u043e\u0447\u043d\u044b\u0445 \u0442\u0435\u0440\u043c \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u043f\u0440\u0438\u0431\u043b\u0438\u0436\u0435\u043d\u043d\u043e\u0433\u043e \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u0437\u0430\u0434\u0430\u0447\u0438 \u043e \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0438. private static void ReduceRedundancyTerms(Dictionary<int, LinkedList<TreeNodeEnd>> X, HashSet<TreeNodeEnd> ResultNumbers) { \/\/\u041f\u043e\u0434\u0433\u043e\u0442\u043e\u0432\u043a\u0430 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0435\u0433\u043e \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u0430 ResultNumbers.Clear(); \/\/\u041a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440 \u043f\u0435\u0440\u0432\u0438\u0447\u043d\u044b\u0445 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u0442\u0435\u0440\u043c\u043e\u0432 \u0441 \u0440\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435\u043c \u043f\u043e \u043a\u043e\u043b-\u0432\u0443 \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u0432\u0448\u0438\u0445 \u0432\u044b\u0445\u043e\u0434\u043d\u044b\u0435 \u0442\u0435\u0440\u043c\u044b HashSet<TreeNodeEnd> pNumbersForAdd = new HashSet<TreeNodeEnd>(); Dictionary<TreeNodeEnd, uint> Numbers2Terms = new Dictionary<TreeNodeEnd, uint>(); Dictionary<TreeNodeEnd, HashSet<TreeNodeEnd>> Terms2Numbers = new Dictionary<TreeNodeEnd, HashSet<TreeNodeEnd>>(); \/\/\u0424\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0440\u0430\u0441\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u043f\u043e \u0443\u0440\u043e\u0432\u043d\u044e foreach (int iLevel in X.Keys.OrderByDescending(p => p).AsQueryable()) { foreach (TreeNodeEnd term in X[iLevel]) { HashSet<TreeNodeEnd> TermNumberCont = new HashSet<TreeNodeEnd>(); HashSet<TreeNodeEnd> ListNumbers = new HashSet<TreeNodeEnd>(); ListNumbers.Add(term); while (ListNumbers.Count > 0) { TreeNodeEnd pCurrNode = ListNumbers.First(); ListNumbers.Remove(pCurrNode); if (pCurrNode.Parent1 != null && pCurrNode.Parent2 != null) { ListNumbers.Add(pCurrNode.Parent1); ListNumbers.Add(pCurrNode.Parent2); } else { if (!Numbers2Terms.ContainsKey(pCurrNode)) Numbers2Terms.Add(pCurrNode, 0); Numbers2Terms[pCurrNode]++; \/\/\u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043d\u043e\u043c\u0435\u0440\u0430 \u0432 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440 TermNumberCont.Add(pCurrNode); } } \/\/int iIntersectNumbers = pNumbersForAdd.Intersect(TermNumberCont).Count(); \/\/if (iIntersectNumbers < TermNumberCont.Count) { pNumbersForAdd.UnionWith(TermNumberCont); Terms2Numbers.Add(term, TermNumberCont); } } } \/\/\u0412\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f \u043f\u0435\u0440\u0432\u044b\u0439 \u043f\u0440\u0438\u043d\u0446\u0438\u043f - \u043f\u0435\u0440\u0432\u044b\u043c\u0438 \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u0435 \u0441\u0442\u043e\u043b\u0431\u0446\u044b \u0422\u041f pNumbersForAdd = new HashSet<TreeNodeEnd>(pNumbersForAdd.OrderBy(p => Numbers2Terms[p])); \/\/\u041a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440 \u0434\u043b\u044f \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u043e\u0442\u043e\u0431\u0440\u0430\u043d\u043d\u044b\u0445 \u0432\u044b\u0445\u043e\u0434\u043d\u044b\u0445 \u0442\u0435\u0440\u043c\u043e\u0432 \u0441 \u0438\u0445 \u0441\u0432\u044f\u0437\u044f\u043c\u0438 \u0441 \u0432\u0445\u043e\u0434\u043d\u044b\u043c\u0438 Dictionary<TreeNodeEnd, HashSet<TreeNodeEnd>> SelectedTerms = new Dictionary<TreeNodeEnd, HashSet<TreeNodeEnd>>(); \/\/\u041f\u0435\u0440\u0435\u0431\u043e\u0440 \u0432\u0441\u0435\u0445 \u043f\u0435\u0440\u0432\u0438\u0447\u043d\u044b\u0445 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u0442\u0435\u0440\u043c\u043e\u0432 while (pNumbersForAdd.Count > 0) { \/\/\u041f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c\u044b\u0439 \u0432\u0445\u043e\u0434\u043d\u043e\u0439 \u0442\u0435\u0440\u043c TreeNodeEnd pSrcTerm = pNumbersForAdd.First(); \/\/\u041e\u0442\u0431\u043e\u0440 \u043b\u0443\u0447\u0448\u0435\u0433\u043e \u0432\u044b\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0442\u0435\u0440\u043c\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u044b\u043b \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u043d \u0441 \u0443\u0447\u0430\u0441\u0442\u0438\u0435\u043c \u0434\u0430\u043d\u043d\u043e\u0433\u043e \u0432\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0442\u0435\u0440\u043c\u0430 TreeNodeEnd BestTerm = null; int iBestTermNumbersCount = 0; foreach (KeyValuePair<TreeNodeEnd, HashSet<TreeNodeEnd>> CurrTerm in Terms2Numbers) { if (!CurrTerm.Value.Contains(pSrcTerm)) continue; int iCurrTermNumbersCount = CurrTerm.Value.Intersect(pNumbersForAdd).Count(); if ((BestTerm == null) || (iBestTermNumbersCount < iCurrTermNumbersCount)) { BestTerm = CurrTerm.Key; iBestTermNumbersCount = iCurrTermNumbersCount; } } ResultNumbers.Add(BestTerm); HashSet<TreeNodeEnd> pBestTermSrcNodes = Terms2Numbers[BestTerm]; Terms2Numbers.Remove(BestTerm); SelectedTerms.Add(BestTerm, pBestTermSrcNodes); pNumbersForAdd.RemoveWhere(p => pBestTermSrcNodes.Contains(p)); } \/\/\u0427\u0442\u043e\u0431\u044b \u043e\u0441\u0432\u043e\u0431\u043e\u0434\u0438\u0442\u044c \u043d\u0435\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u0443\u044e \u043f\u0430\u043c\u044f\u0442\u044c Terms2Numbers = SelectedTerms; \/\/\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u043d\u0430 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0432\u044b\u043a\u0438\u043d\u0443\u0442\u044c \u0438\u0437 \u0441\u043f\u0438\u0441\u043a\u0430 \u043e\u0442\u043e\u0431\u0440\u0430\u043d\u043d\u044b\u0445 TreeNodeEnd termForDelete = null; do { termForDelete = null; int iTermForDeleteUsedNumbCount = 0; foreach (KeyValuePair<TreeNodeEnd, HashSet<TreeNodeEnd>> term1 in SelectedTerms) { int iUsedNumbCounter = 0; foreach (TreeNodeEnd numb in term1.Value) { bool bFind = false; foreach (KeyValuePair<TreeNodeEnd, HashSet<TreeNodeEnd>> term2 in SelectedTerms) { if (term1.Key == term2.Key) continue; if (bFind = term2.Value.Contains(numb)) break; } if (bFind) iUsedNumbCounter++; } if ((iUsedNumbCounter == term1.Value.Count) && ((termForDelete == null) || (iUsedNumbCounter <= iTermForDeleteUsedNumbCount))) { termForDelete = term1.Key; iTermForDeleteUsedNumbCount = iUsedNumbCounter; } } if (termForDelete != null) { ResultNumbers.Remove(termForDelete); SelectedTerms.Remove(termForDelete); } } while (termForDelete != null); } } \/\/\/ <summary> \/\/\/ \u0414\u0435\u0440\u0435\u0432\u043e \u0442\u0435\u0440\u043c\u043e\u0432 \/\/\/ <\/summary> public class TreeFuncTerm { \/\/\u041a\u043e\u0440\u0435\u043d\u044c private readonly TreeNodeMiddle rootNode = new TreeNodeMiddle(); \/\/\u0421\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u0437\u0430\u0432\u0435\u0440\u0448\u0430\u044e\u0449\u0438\u0439 \u0443\u0437\u0435\u043b \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u0441\u0441\u044b\u043b\u043e\u043a \u043d\u0430 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0435 \u043b\u0438\u0441\u0442\u044c\u044f \u0434\u0435\u0440\u0435\u0432\u0430 private TreeNodeEnd _lastTreeNode = null; public TreeNodeEnd Last { get { return _lastTreeNode; } } \/\/\u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u0442\u0435\u0440\u043c\u043e\u0432 \u0432 \u0434\u0435\u0440\u0435\u0432\u0435 private int _count = 0; public int Count { get { return _count; } } \/\/\u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 public TreeFuncTerm() { Clear(); } \/\/\u041e\u0447\u0438\u0441\u0442\u0438\u0442\u044c \u0434\u0435\u0440\u0435\u0432\u043e public void Clear() { rootNode.Clear(); _count = 0; _lastTreeNode = null; } \/\/\u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0432 \u0434\u0435\u0440\u0435\u0432\u043e \u043d\u043e\u0432\u043e\u0433\u043e \u0442\u0435\u0440\u043c\u0430 public void AddTerm(char[] term, TreeNodeEnd pParent1, TreeNodeEnd pParent2) { TreeNodeMiddle pCurrNode = rootNode; for (int j = 0; j < term.Length; j++) { TreeNodeBase item = pCurrNode.GetChild(term[j]); if (item == null) { if (j + 1 < term.Length) { item = new TreeNodeMiddle(); } else { item = new TreeNodeEnd(term, pParent1, pParent2, _lastTreeNode, _count); _lastTreeNode = (TreeNodeEnd)item; _count++; } pCurrNode.AddChild(item, term[j]); } if (item is TreeNodeMiddle) pCurrNode = (TreeNodeMiddle)item; } } \/\/\u041f\u043e\u0438\u0441\u043a \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0435\u0439 \u0441 \u043e\u0434\u043d\u0438\u043c \u043e\u0442\u043b\u0438\u0447\u0438\u0435\u043c \u043e\u0442 \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u0439 \u043d\u0435 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u044b\u043c \u0441\u043f\u043e\u0441\u043e\u0431\u043e\u043c public void SearchDiff1(TreeNodeEnd x1, Dictionary<int, TreeNodeEnd> result) { result.Clear(); TreeNodeMiddle pCurrNode = rootNode; Dictionary<int, TreeNodeMiddle> OneDiffNodesList = new Dictionary<int, TreeNodeMiddle>(); for (int iPos = 0; iPos < x1.Term.Length; iPos++) { char cSymbol = x1.Term[iPos]; if (pCurrNode != null) { if (cSymbol != '*') { TreeNodeBase item = pCurrNode.GetChild(cSymbol == '0' ? '1' : '0'); if (item != null) { if (item is TreeNodeMiddle) { OneDiffNodesList.Add(iPos, (TreeNodeMiddle)item); } else \/\/if (item is TreeNodeEnd) { \/\/\u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0442\u0435\u0440\u043c\u0430 \u0432 \u0432\u044b\u0445\u043e\u0434\u043d\u043e\u0439 \u0441\u043f\u0438\u0441\u043e\u043a result.Add(iPos, (TreeNodeEnd)item); } } } TreeNodeBase pNextNode = pCurrNode.GetChild(cSymbol); if ((pNextNode != null) && (pNextNode is TreeNodeMiddle)) { pCurrNode = (TreeNodeMiddle)pNextNode; } } \/\/\u041f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0442\u0441\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438, \u043e\u0442\u043e\u0431\u0440\u0430\u043d\u043d\u044b\u0435 \u043d\u0430 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0445 \u043f\u043e\u0437\u0438\u0446\u0438\u044f\u0445, \/\/\u043d\u0430 \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u043e\u0442\u043b\u0438\u0447\u0438\u044f \u043e\u0442 \u0437\u0430\u0434\u0430\u043d\u043d\u043e\u0439 for (int iKey = 0; iKey < iPos; iKey++) { if (!OneDiffNodesList.ContainsKey(iKey)) continue; TreeNodeMiddle pValue = OneDiffNodesList[iKey]; TreeNodeBase item = pValue.GetChild(cSymbol); if (item == null) { OneDiffNodesList.Remove(iKey); } else if (item is TreeNodeMiddle) { OneDiffNodesList[iKey] = (TreeNodeMiddle)item; } else \/\/if (item is TreeNodeEnd) { \/\/\u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0442\u0435\u0440\u043c\u0430 \u0432 \u0432\u044b\u0445\u043e\u0434\u043d\u043e\u0439 \u0441\u043f\u0438\u0441\u043e\u043a result.Add(iKey, (TreeNodeEnd)item); } } } } } \/\/\/ <summary> \/\/\/ \u0411\u0430\u0437\u043e\u0432\u044b\u0439 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 \u0443\u0437\u043b\u0430 \u0434\u0435\u0440\u0435\u0432\u0430 \u0442\u0435\u0440\u043c\u043e\u0432 \/\/\/ <\/summary> public interface TreeNodeBase { \/\/\u041e\u0447\u0438\u0441\u0442\u043a\u0430 \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0445 \u0440\u0435\u0441\u0443\u0440\u0441\u043e\u0432 void Clear(); } \/\/\/ <summary> \/\/\/ \u041a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0443\u0437\u0435\u043b \u0434\u0435\u0440\u0435\u0432\u0430 \u0442\u0435\u0440\u043c\u043e\u0432 \/\/\/ <\/summary> public class TreeNodeEnd : TreeNodeBase { \/\/\u0422\u0435\u0440\u043c, \u0441\u043e\u043f\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u044b\u0439 \u0443\u0437\u043b\u0443 private char[] _term; public char[] Term { get { return _term; } } \/\/\u0421\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0443\u0437\u0435\u043b \u0434\u0435\u0440\u0435\u0432\u0430 \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0443\u0440\u043e\u0432\u043d\u044f \u0434\u043b\u044f \u043e\u0434\u043d\u043e\u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0435\u0433\u043e \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430 private TreeNodeEnd _prev; public TreeNodeEnd Prev { get { return _prev; } } \/\/\u0421\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u0440\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0443\u0437\u0435\u043b \u0434\u0435\u0440\u0435\u0432\u0430 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0433\u043e \u0443\u0440\u043e\u0432\u043d\u044f private TreeNodeEnd _parent1; public TreeNodeEnd Parent1 { get { return _parent1; } } \/\/\u0421\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u0440\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0439 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0443\u0437\u0435\u043b \u0434\u0435\u0440\u0435\u0432\u0430 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0433\u043e \u0443\u0440\u043e\u0432\u043d\u044f private TreeNodeEnd _parent2; public TreeNodeEnd Parent2 { get { return _parent2; } } \/\/\u041d\u043e\u043c\u0435\u0440 \u0443\u0437\u043b\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043e\u043d \u0438\u043c\u0435\u0435\u0442 \u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u0432\u0441\u0435\u0445 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u0443\u0437\u043b\u043e\u0432 \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0443\u0440\u043e\u0432\u043d\u044f public readonly int Number; \/\/\u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 public TreeNodeEnd(char[] pTermRef, TreeNodeEnd pParent1, TreeNodeEnd pParent2, TreeNodeEnd pPrevTreeNode, int iNumber) { pTermRef.CopyTo(_term = new char[pTermRef.Length], 0); _parent1 = pParent1; _parent2 = pParent2; _prev = pPrevTreeNode; Number = iNumber; } \/\/\u041e\u0447\u0438\u0441\u0442\u043a\u0430 \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0445 \u0440\u0435\u0441\u0443\u0440\u0441\u043e\u0432 public void Clear() { _term = null; _parent1 = null; _parent2 = null; _prev = null; } } \/\/\/ <summary> \/\/\/ \u041f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u044b\u0439 \u0443\u0437\u0435\u043b \u0434\u0435\u0440\u0435\u0432\u0430 \u0442\u0435\u0440\u043c\u043e\u0432 \/\/\/ <\/summary> public class TreeNodeMiddle : TreeNodeBase { \/\/\u0414\u043e\u0447\u0435\u0440\u043d\u0438\u0435 \u0443\u0437\u043b\u044b private TreeNodeBase Childs0; private TreeNodeBase Childs1; private TreeNodeBase Childs2; \/\/\u041e\u0447\u0438\u0441\u0442\u043a\u0430 \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0445 \u0440\u0435\u0441\u0443\u0440\u0441\u043e\u0432 public void Clear() { if ((Childs0 != null) && (Childs0 is TreeNodeMiddle)) ((TreeNodeMiddle)Childs0).Clear(); if ((Childs1 != null) && (Childs1 is TreeNodeMiddle)) ((TreeNodeMiddle)Childs1).Clear(); if ((Childs2 != null) && (Childs2 is TreeNodeMiddle)) ((TreeNodeMiddle)Childs2).Clear(); Childs0 = Childs1 = Childs2 = null; } \/\/\u041f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u0435 \u0434\u043e\u0447\u0435\u0440\u043d\u0435\u0433\u043e \u0443\u0437\u043b\u0430 public TreeNodeBase GetChild(char cSymbol) { switch (cSymbol) { case '0': return Childs0; case '1': return Childs1; case '*': return Childs2; } return null; } \/\/\u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0434\u043e\u0447\u0435\u0440\u043d\u0435\u0433\u043e \u0443\u0437\u043b\u0430 public void AddChild(TreeNodeBase newChild, char cSymbol) { switch (cSymbol) { case '0': Childs0 = newChild; break; case '1': Childs1 = newChild; break; case '*': Childs2 = newChild; break; } } } <\/code><\/pre>\n <\/div>\n<\/div>\n
\u041a\u043b\u0430\u0441\u0441 Quine_McCluskey \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0435\u0439 \u044d\u0442\u043e\u0433\u043e \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430, \u043a\u043e\u0442\u043e\u0440\u043e\u043c\u0443 \u043f\u043e\u043c\u043e\u0433\u0430\u044e\u0442 \u0434\u0440\u0443\u0433\u0438\u0435 \u043a\u043b\u0430\u0441\u0441\u044b \u0438 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u044b: Dnf, TreeNodeBase, TreeNodeMiddle, TreeNodeEnd, TreeFuncTerm. \u0414\u043b\u044f \u0437\u0430\u043f\u0443\u0441\u043a\u0430 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u043d\u0443\u0436\u043d\u043e \u0432\u044b\u0437\u044b\u0432\u0430\u0442\u044c \u043e\u0434\u0438\u043d \u0438\u0437 \u043f\u0435\u0440\u0435\u0433\u0440\u0443\u0436\u0435\u043d\u043d\u044b\u0445 \u043c\u0435\u0442\u043e\u0434\u043e\u0432 Start.<\/p>\n
\u0412 \u043f\u0443\u043d\u043a\u0442\u0435 1 \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u043c\u043d\u043e\u0433\u043e\u043a\u0440\u0430\u0442\u043d\u044b\u0439 \u043f\u043e\u043f\u0430\u0440\u043d\u044b\u0439 \u043f\u0435\u0440\u0435\u0431\u043e\u0440 \u0442\u0435\u0440\u043c \u0441 \u0446\u0435\u043b\u044c\u044e \u0432\u044b\u044f\u0432\u043b\u0435\u043d\u0438\u044f \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0438\u0445 \u0441\u043a\u043b\u0435\u0439\u043a\u0438. \u0414\u0432\u0430 \u0442\u0435\u0440\u043c\u0430 \u0441\u043a\u043b\u0435\u0438\u0432\u0430\u044e\u0442\u0441\u044f, \u0435\u0441\u043b\u0438 \u043e\u043d\u0438 \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0442\u0441\u044f \u0434\u0440\u0443\u0433 \u043e\u0442 \u0434\u0440\u0443\u0433\u0430 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f\u043c\u0438 \u0442\u043e\u043b\u044c\u043a\u043e \u043b\u0438\u0448\u044c \u0432 \u043e\u0434\u043d\u043e\u0439 \u0438\u0437 \u043f\u043e\u0437\u0438\u0446\u0438\u0439: \u0443 \u043e\u0434\u043d\u043e\u0433\u043e \u0441\u0442\u043e\u0438\u0442 \u20180\u2019, \u0430 \u0443 \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u2013 \u20181\u2019. \u0421\u043a\u043b\u0435\u0438\u0432\u0430\u044e\u0449\u0438\u0435\u0441\u044f \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0435 (\u0440\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0435) \u0442\u0435\u0440\u043c\u044b \u0438\u0441\u043a\u043b\u044e\u0447\u0430\u044e\u0442\u0441\u044f \u0438\u0437 \u0434\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0435\u0439 \u0440\u0430\u0431\u043e\u0442\u044b, \u0430 \u0432\u043c\u0435\u0441\u0442\u043e \u0438\u0445 \u0434\u0432\u043e\u0438\u0445 \u0434\u0430\u043b\u0435\u0435 \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0438 \u043f. 1 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u043d\u043e\u0432\u0430\u044f \u0434\u043e\u0447\u0435\u0440\u043d\u044f\u044f \u0442\u0435\u0440\u043c\u0430, \u0443 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043d\u0430 \u043f\u043e\u0437\u0438\u0446\u0438\u0438 \u0440\u0430\u0437\u043b\u0438\u0447\u0430\u044e\u0449\u0438\u0445\u0441\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0440\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0445 \u0442\u0435\u0440\u043c \u0441\u0442\u043e\u0438\u0442 \u0437\u043d\u0430\u043a \u2018*\u2019. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u0434\u0432\u043e\u0438\u0447\u043d\u044b\u0439 \u0430\u043b\u0444\u0430\u0432\u0438\u0442 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0445 \u0442\u0435\u0440\u043c \u0432\u043d\u0443\u0442\u0440\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0440\u0430\u0441\u0448\u0438\u0440\u044f\u0435\u0442\u0441\u044f \u0434\u043e \u0442\u0440\u043e\u0438\u0447\u043d\u043e\u0433\u043e: \u20180\u2019, \u20181\u2019, \u2018*\u2019.<\/p>\n
\u041f\u0443\u043d\u043a\u0442 1 \u0432 \u043a\u043b\u0430\u0441\u0441\u0435 Quine_McCluskey \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d \u0432 \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0435 LogicFuncMinimize \u0434\u0432\u0443\u043c\u044f \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0438\u0430\u043b\u044c\u043d\u043e \u0440\u0430\u0437\u043d\u044b\u043c\u0438 \u0441\u043f\u043e\u0441\u043e\u0431\u0430\u043c\u0438. \u041f\u0435\u0440\u0432\u044b\u0439 \u0441\u043f\u043e\u0441\u043e\u0431, \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043d\u0430 64 \u0431\u0438\u0442\u043d\u044b\u0445 \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0445 \u0445\u044d\u0448-\u043a\u043e\u0434\u0430\u0445 \u0438 \u043f\u043e\u0438\u0441\u043a\u0435 \u0432 .NET \u0441\u043b\u043e\u0432\u0430\u0440\u0435 Dictionary<UInt64,\u2026>, \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043f\u0440\u0438 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u0435 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0431\u0443\u043b\u0435\u0432\u0441\u043a\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043c\u0435\u043d\u044c\u0448\u0435 \u0438\u043b\u0438 \u0440\u0430\u0432\u043d\u043e\u043c 40, \u0430 \u0432\u0442\u043e\u0440\u043e\u0439, \u043e\u0441\u043d\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u043d\u0430 \u043f\u043e\u0438\u0441\u043a\u0435 \u0432 \u0442\u0440\u043e\u0438\u0447\u043d\u043e\u043c \u0434\u0435\u0440\u0435\u0432\u0435, \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0438 \u0431\u043e\u043b\u044c\u0448\u0435\u043c \u0438\u0445 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u0435. \u0422\u0430\u043a\u043e\u0435 \u0440\u0430\u0437\u0434\u0432\u043e\u0435\u043d\u0438\u0435 \u043e\u0431\u0443\u0441\u043b\u043e\u0432\u043b\u0435\u043d\u043e \u0442\u0435\u043c, \u0447\u0442\u043e \u043f\u0435\u0440\u0432\u044b\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u0431\u044b\u0441\u0442\u0440\u0435\u0435, \u0447\u0435\u043c \u0432\u0442\u043e\u0440\u043e\u0439, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0435\u0433\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u0440\u0438\u043e\u0440\u0438\u0442\u0435\u0442\u043d\u0435\u0435, \u043d\u043e \u043e\u043d \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0438 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u0435 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0434\u043e 40, \u0430 \u043f\u0440\u0438 \u0431\u043e\u043b\u044c\u0448\u0435\u043c \u0438\u0445 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u0435 \u0432\u044b\u0445\u043e\u0434\u0438\u0442 \u0437\u0430 64 \u0431\u0438\u0442 \u0440\u0430\u0437\u0440\u044f\u0434\u043d\u0443\u044e \u0441\u0435\u0442\u043a\u0443 \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u043e\u0433\u043e \u0445\u044d\u0448-\u043a\u043e\u0434\u0430, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u043e\u0433\u043e \u0434\u043b\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430. \u0414\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e, \u0442. \u043a. \u0432 \u0442\u0435\u0440\u043c\u0430\u0445 \u0432\u043d\u0443\u0442\u0440\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u0435\u0442\u0441\u044f \u0442\u0440\u043e\u0438\u0447\u043d\u0430\u044f \u043b\u043e\u0433\u0438\u043a\u0430, \u0442\u043e \u043f\u0440\u0438 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u0435 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0440\u0430\u0432\u043d\u043e\u043c 41 \u043c\u0430\u043a\u0441\u0438\u043c\u0430\u043b\u044c\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0445\u044d\u0448-\u043a\u043e\u0434\u0430