Упрощение логических выражений

пожалуйста, помогите, кто разбирается в информатике. можете подробно расписать упрощение данного выражения: F=(A→Q)×НЕ P+((A+HE Q) →(HE Q+HE A×Q×P))?
заранее спасибо