Я также сделал это с картой Карно. Мои ответы на это логическое выражение разные. Я знаю, что результат не может быть 1 для этого вопроса, но я не могу получить правильный результат, используя логические законы.
A'B'C'D'+A'B'CD'+A'BC'D+AB'C'D'+AB'CD'+ABCD
Мои ответы на это логическое выражение разные. Я знаю, что результат не может быть 1 для этого вопроса, но я не могу получить правильный результат, используя логические законы.
A'B'C'D'+A'B'CD'+A'BC'D+AB'C'D'+AB'CD'+ABCD
Я подозреваю, что проблема в предположении, что ¬A¬C + AC равно 1. (строки 2 и 3 в вашем выражении.)
Если вы внимательно посмотрите на это в таблице истинности, станет ясно, что строки 2 и строки 3 не равны 1 для этих входных данных.
input | output
A C | ¬A¬C AC ¬A¬C+AC
------|-----------------------
0 0 | 1*1=1 0*0=0 1+0=1
0 1 | 1*0=0 0*1=0 0+0=0 (!)
1 0 | 0*1=0 1*0=0 0+0=0 (!)
1 1 | 0*0=0 1*1=1 0+1=1
Вы получите тот же результат, что и с картой Карно, следуя законам булевой алгебры.
¬A¬B¬C¬D + ¬A¬BC¬D + ¬AB¬CD + A¬B¬C¬D + A¬BC¬D + ABCD
¬A¬B¬D*(¬C+C) + ¬AB¬CD + A¬B¬D*(¬C+C) + ABCD
¬A¬B¬D*1 + ¬AB¬CD + A¬B¬D*1 + ABCD
¬A¬B¬D + ¬AB¬CD + A¬B¬D + ABCD
¬B¬D*(¬A+A) + ¬AB¬CD + ABCD
¬B¬D*1 + ¬AB¬CD + ABCD
¬B¬D + ¬AB¬CD + ABCD
