Таблица истинности для функций переключения

Может кто-нибудь объяснить, как работает эта концепция?

У меня есть 1 вопрос. Но я не знаю, есть ли идеи по построению таблицы истинности.

f(A,B,C) = AB + A’C

Был дан ответ: ABC + ABC' + A'BC + A'B'C.

И я понятия не имею, как он туда попал. :-(


person Beta Tracks    schedule 11.09.2014    source источник
comment
что ты хочешь ? понять из таблицы истинности или хотите доказать приведенное выше выражение.   -  person Pk boss    schedule 11.09.2014


Ответы (1)


<сильный>1. Создайте столбец для каждого из входных данных, каждой промежуточной функции и конечной функции:

A B C | AB | A' | A'C | AB + A'C
--------------------------------
      |    |    |     |  
      |    |    |     |
      |    |    |     |
      |    |    |     |
      |    |    |     |
      |    |    |     |
      |    |    |     |
      |    |    |     |

<сильный>2. Перечислите все возможности ввода и начните заполнять промежуточные значения функции, а затем окончательное значение функции:

A B C | AB | A' | A'C | AB + A'C
--------------------------------
0 0 0 | 0  | 1  | 0   | 0
0 0 1 |    |    |     |
0 1 0 |    |    |     |
0 1 1 |    |    |     |
1 0 0 |    |    |     |
1 0 1 |    |    |     |
1 1 0 |    |    |     |
1 1 1 |    |    |     |

<сильный>3. Теперь вы закончите таблицу истинности.

Обновление для редактирования вопроса ОП:

«Данный ответ» можно сократить следующим образом с помощью булевой алгебры:

ABC + ABC' + A'BC + A'B'C

AB(C + C') + A'C(B + B')

AB + A'C

... что совпадает с данным f (A, B, C). Не уверен, почему ABC + ABC' + A'BC + A'B'C можно считать «ответом», но это показывает эквивалентность двух формул.

person kjhughes    schedule 11.09.2014
comment
у вас есть опечатка в вашем редактировании от первой до второй строки, вторая строка должна быть AB(C + C') + A'(BC + B'C), что приведет к третьей строке AB + A'C(B + B'), а затем AB + A'C - person mch; 18.09.2014
comment
@mch, ты прав. Хороший улов! Исправлена. Спасибо. - person kjhughes; 18.09.2014