Булева таблица истинности в SOP и карте Карно

введите здесь описание изображения

Привет, я учусь в колледже и у меня проблемы с работой в классе по компьютерной архитектуре. Кто-нибудь хочет помочь и сказать мне, правильно ли я их понял?

Вопрос 1. Преобразуйте таблицу истинности в логическое уравнение.

Вопрос 2. Найдите минимальную СОП (сумма произведений)

Вопрос3. Используйте K-карту (карту Карно) для упрощения.


person Bossam    schedule 16.03.2016    source источник
comment
В 2) F(X,Y,Z) = XY не может быть прав: вторая строка в таблице истинности уже не совпадает.   -  person JimmyB    schedule 16.03.2016
comment
(!x*z + x*!z) не 0. Тоже (x + !x) = 1, но (...)+1 = 1.   -  person JimmyB    schedule 16.03.2016
comment
Ваш результат для 3) также не может быть правильным: строка № 6 в таблице говорит, что F(1,0,1) = 0, а по вашему ответу F(1,0,1) = 1.   -  person JimmyB    schedule 16.03.2016
comment
Как вы добрались до x * y * !z с К-карты?   -  person JimmyB    schedule 16.03.2016
comment
Имеет ли отношение третий вопрос к данной таблице истинности или функция в правом нижнем углу представляет собой другой пример выражения, которое нужно упростить с помощью K-карты?   -  person Kit Ostrihon    schedule 17.03.2016


Ответы (1)


Вы можете упростить исходное выражение, соответствующее заданной таблице истинности, просто используя карты Карно:

K-карта исходного выражения, упрощенная с минимальной DNF и выделенной минимальной CNF - сгенерирована с использованием латекса

f(x,y,z) = ∑(1,3,4,6,7) = m1 + m3 + m4 + m6 + m7
         = ¬x·¬y·z + ¬x·y·z + x·y·z + x·¬y·¬z + x·y·¬z      //sum of minterms

f(x,y,z) = ∏(0,2,5) = M0 · M2 · M5
         = (x + y + z)·(x + ¬y + z)·(¬x + y + ¬z)           //product of maxterms

f(x,y,z) = x·y + ¬x·z + x·¬z                               //minimal DNF
         = (x + z)·(¬x + y + ¬z)                           //minimal CNF

Вы получите тот же результат, используя законы булевой алгебры:

¬x·¬y·z  + ¬x·y·z + x·y·z  + x·y·¬z + x·¬y·¬z
¬x·(¬y·z +   y·z) + x·(y·z + y·¬z   + ¬y·¬z)      //distributivity
¬x·(z·(¬y +   y)) + x·(y·(z + ¬z)   + ¬y·¬z))     //distributivity
¬x·(z·(    1   )) + x·(y·(  1   )   + ¬y·¬z))     //complementation
¬x·(z           ) + x·(y            + ¬y·¬z))     //identity for ·
¬x·(z           ) + x·(y +  y·¬z    + ¬y·¬z))     //absorption
¬x·(z           ) + x·(y +  ¬z·(y   +    ¬y))     //distributivity
¬x·(z           ) + x·(y +  ¬z·(    1      ))     //complementation
¬x·(z           ) + x·(y +  ¬z)                   //identity for ·
¬x·z              + x·y  +  x·¬z                  //distributivity

¬x·z + x·y + x·¬z                                 //minimal DNF

¬x·z + x·y + x·¬z
¬x·z + x·(y + ¬z)                                 //distributivity
(¬x + x)·(¬x + (y + ¬z))·(z + x)·(z + (y + ¬z))   //distributivity
(   1  )·(¬x +  y + ¬z )·(z + x)·(z +  y + ¬z)    //complementation
(   1  )·(¬x +  y + ¬z )·(z + x)·(y + 1)          //complementation
(   1  )·(¬x +  y + ¬z )·(z + x)·(1)              //annihilator for +
         (¬x +  y + ¬z )·(z + x)                  //identity for ·

         (¬x + y + ¬z)·(x + z)                    //minimal CNF    
person Kit Ostrihon    schedule 17.03.2016
comment
У вас есть инструмент для рисования таких красивых карт Карно? - person Axel Kemper; 30.03.2016
comment
Извините, я упомянул об этом только в описании изображения - оно было создано с использованием латекса и ссылки \команда karnaughmap. - person Kit Ostrihon; 30.03.2016
comment
Тем временем я нашел хороший онлайн-инструмент поэкспериментировать с картами Карно. - person Axel Kemper; 26.08.2016