How to prove [⋀(¬( → ))]⋁(⋀) ≡ p I need to prove this using logical equivalences but I'm stuck near the end. Here is what I've got so far.
[⋀(¬( → ))]⋁(⋀) ≡ p
[⋀(¬( → ))] ≡ p    - Absorption Laws
[⋀( ⋀ ¬)] ≡ p      - Conditional Laws
This is kind of where I'm stuck, I had some vague ideas but nothing that would get me to the end of the proof. Thank you for any help.

[⋀(¬( → ))]⋁(⋀)
[⋀¬(¬ ⋁ )]⋁(⋀)
[⋀( ⋀ ¬)]⋁(⋀)
(⋀¬)⋁(⋀)
⋀(¬⋁)
⋀true

