Логические выражения: a& ¬bvb& cv¬a& ¬b

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   < ответ

Решая подобные задачи проще всего использовать альтернативные символы операций, заменяя ∧ на знак умножения, ∨ - на знак сложения, ¬ - на надчеркивание. Запись становится компактнее и похода на алгебраическую. Да она, фактически и есть алгебраическая, потому что булева алгебра - это тоже алгебра. Следовательно, мы можем поступать с элементами выражения как в обычной алгебре - складывать умножать, раскрывать скобки и группировать члены выражения. Конечно, есть небольшие отличия и их надо учитывать.

Я нарисовал специальную картинку, с которой можно решать любые задачи на упрощение. Пользуйтесь))