- #1

- 7

- 0

**(a∨~a)∨~a**⇒a∨(~a∨~a)⇒(a∨~a)⇒((a∧⊤)∨~a)⇒((a∧(b∨~b)∨~a)⇒(((a∧b)∨(a∧~b))∨~a)⇒

((a∧b)∨((a∧~b)∨~a))⇒(b∨(~b∨~a))⇒((b∨~b)∨~a)⇒⊤∨~a⇒

**(a∨~a)∨~a**

Wikipedia tells me that the following symbols are; and “read as”:

() precedence grouping; “everywhere”

~ negation; “not” (though the context in which I’m getting this uses ~x to mean “the string x”)

∧ logical conjunction; “and”

∨ logical disjunction; “or”

⇒ material implication; “implies”

⊤ tautology; “top”

I realize I’m way out of my league, and that’s why I came here. If someone could generously explain this to me, and if it’s wrong, where it’s wrong, it would be much appreciated. I feel like this is pretty basic logic, but if there’s something you’d recommend I look into or research so I can understand this on my own, that would work too. Thank you.

P.S. Is there a mathematics forum better than physicsforums.com where I might better post this?