A = ((¬p ∨ ¬q) → ¬p)
asked by guest on Dec 04, 2024 at 10:23 am
I wasn't able to parse your question, but the HE.NET team is hard at work making me smarter.