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