Using Logic Symbols
When translating from English sentences into logical form, "but" generally means the same as "and", and the phrase "neither A nor B" is translated as "not A and not B". Additionally, ~ (negation) is performed before logical AND and logical OR, and all operations within parenthesis are performed first. (The precedence rules that apply are very similar to those in algebra!)
Using the sentence variables (p, q, and r) and the logic symbols (~, , and ), rewrite the following symbolically.