F=A*¬B+B*C+¬A*¬B
F= ¬B*(A+¬A) +B*C ( формула: A+¬A=1)
F=¬B+B*C (формула: A+¬A*B=A+B)
F=¬B+C < ответ
Решая подобные задачи проще всего использовать альтернативные символы операций, заменяя ∧ на знак умножения, ∨ - на знак сложения, ¬ - на надчеркивание. Запись становится компактнее и похода на алгебраическую. Да она, фактически и есть алгебраическая, потому что булева алгебра - это тоже алгебра. Следовательно, мы можем поступать с элементами выражения как в обычной алгебре - складывать умножать, раскрывать скобки и группировать члены выражения. Конечно, есть небольшие отличия и их надо учитывать.
Я нарисовал специальную картинку, с которой можно решать любые задачи на упрощение. Пользуйтесь))
