Проблема такого рода, учитывая таблицу истинности, минимизирующую логику, необходимую для воспроизведения значений истинности, часто хорошо обрабатывается с помощью Karnaugh Maps
Ваша таблица истинности здесь выглядит следующим образом:
v1 v2 f(v1, v2)
t t t
t f f
f t f
f f t
И на самом деле, как уже отмечали другие, учитывая, что таблица истинности, базовое знакомство с логикой должно сразу привести к функции! xor
Однако, есливы берете таблицу истинности и рисуете ее как карту Карно, она выглядит следующим образом:
v2
f t
---------
v f| t | f |
1 t| f | t |
---------
И функция выглядит так:! v1! v2 ||v1v2, который, если вы посмотрите на 2 примера карты переменных Карно , снова можно увидеть, чтобы упростить до! xor
По общему признанию, две переменные карты Карно, вероятно, лучше всего обрабатываются обычными логическими операциями с помощью скважины, знакомства и запоминания.Но при расширении за пределы двух переменных карты Карно очень ярки - вы должны посмотреть на них.