Я упростил булево выражение, используя 14 Boolean шаги закона алгебры, и теперь у меня есть рабочая результирующая функция, которая в соответствии с картой KV все еще имеет избыточный член.
В попытке удалить этот термин я пробовал различные приложения для распределения, дополнения и идентификации, за которыми следовал deMorgans law, а также подход с использованием теоремы консенсуса. Из всех учебников, с которыми я консультировался, все говорят, что нет теории или правил для решения такой проблемы, просто опыт!
После большого упрощения (страницы и половины) мое результирующее выражение будет:
z = ~a~cd + b~a + b~d + bc [1]
Используя карту KV, я получаю немного более простое выражение,
z = ~a~cd + b~d + bc [2]
Таблица истинности каждого выражения эквивалентна, поэтому b ~ a моего первого выражения [1] представляется излишним.
Я ожидал, что смогу отменить избыточную функцию **b~a**, применив законы булевой алгебры, но после долгих экспериментов мне не удается найти точку входа.
Это вопрос задания, поэтому я не ожидаю, что кто-то выполнит мою домашнюю работу, но буду благодарен за советы о том, как подойти к этому вызову.