Good evening everyone,

With regards to ((A & B) V nA) V nB, I found this sentence to be a tautology, where the LEM applies. I am trying to create a formal proof in Fitch to show that it is indeed a tautology, but don't know which direction to go in.

Any help is greatly appreciated. Thank you

---

& represents the conjunctive

V the disjunctive

n is negation