У меня есть такая таблица истинности:
а б сел О
F F F F
F F T F
F T F F
F T T T
T F F T
T F T F
T T F T
T T T T
поэтому O - это выходной столбец, sel - это в основном селектор. Таким образом, когда sel = F, O будет значением a, а если sel= T, O будет значением b.
Таким образом, я смог придумать выражение (без учета ввода b), которое правильно соответствует выходным данным sel и a, когда sel = F: a $$\lor$$ sel (например, вы можете проверить, что это выражение $$ a v sel$$ будет правильно генерировать все комбинации значений a, sel и O, не учитывая значение b)
И аналогично для сопоставления вывода sel и b, когда sel = T: $$b ^ sel$$ (например, вы можете проверить, что это выражение $$b ^ sel$$ будет правильно создавать все комбинации значений b, sel и O, без учета значения a)
Но теперь я не уверен, как придумать выражение, которое правильно совместило бы $$a v sel$$ и $$b ^ sel$$, чтобы получить окончательное выражение, соответствующее приведенной выше таблице истинности.
