Получаване на логическа функция от таблица на истинност: Теорема на Шанън

Комбинационни логически схеми  се решават като за вход се взема таблицата на истинност, тъй като тя съдържа всички възможни входни и изходни комбинации. Вземайки таблицата на истиност за входни данни, можем да създадем една логическа функция в две възможни форми:

1)     Първа канонична форма или канонична дизюнкция (сума от произведения или минтерми)

2)     Втора канонична форма или канонична конюнкция (произведение от суми или макстерми)

 

В първата канонична форма, СоП (Сума от Произведения) е получена от прибавянето на всички минтерми, които дават 1 като изход.  В минтерма 0 се определя като обърната променлива и 1 като права променлива (Теорема на Шанън).

Първа канонична форма

 Втора канонична форма

Втората канонична форма, ПоС (Произведение от Суми), се получава като двойствена форма на предишната: чрез умножаване на макситермите, чиито резултат в колоната е 0. Макситермата е двойствена минитерма.

Вижте следващия пример: