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