Hello, I am a complete novice at formal logic and so far removed from mathematical study that I have no idea how the following should be interpreted, or read, and what its implications are: (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?