Така, продьлжаваме с темата:
Намерих един много готин метод (отношение бьрзина/откриваемост на грешки) за преминаване от SOP в POS форма, или още наричано K(f)->D(f) преход.
Друго предимство е сравнително лесната му софтуерна реализация, ако можете да убедите профа да ви пусне с някоя по-интелигентна елка на изпита
Примерно имаме f(А,B,C) = (А + /B + C)(/A + B)
1. развиваме функцията в каноничната и форма:
f(A,B,C) = (A + /B +C)(/A + B + C )(/A + B + /C)
и посредством TVL за пригледност:
2. Ако нашата канонична POS форма се образува от Макстермите M2, M4, M5 => каноничната SOP форма на функцията ще се образува от сумата на незаетите минтерми m0, m1, m3, m6, m7.
за проверка смятаме D(/f) чрез 0->1 & 1->0 v TVL-a
и тьй като това е D(/f) за което имаме минтерми m2 m5 и m4, логично е D(f) да се образува от минтерми m0, m1, m3, m6 и m7. Това е каноничната форма разбира се, за симплификации може да се доразвие с TVL или KP.
Това е засега

[/quote]