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!)
PRACTICE EXERCISES:
Using the sentence variables (p, q, and r) and the logic symbols (~, , and ), rewrite the following symbolically.