Simple Logic Question of Converting or to and

Hypnos_16

Simple Logic Question of Converting "or" to "and"

1. Homework Statement

As the title would have you believe it's really just a basic question.
I have to write (¬q <---> r) /\ (¬p \/ ¬r) ---> (p \/ ¬q) just using "¬'s" and "/\'s" i know how to change everything else, but i cannot, for the life of me remember the equivalent of (a \/ b) in terms of nots and and gates.

2. Homework Equations

n/a

3. The Attempt at a Solution

Related Engineering and Comp Sci Homework Help News on Phys.org

gneill

Mentor
Re: Simple Logic Question of Converting "or" to "and"

I find it's useful to use a Karnaugh map in these cases, since it lets you spot the simplifications and the complements visually.

That being said, I also find it useful to remember that in digital circuits a NAND gate is equivalent to an OR gate with both inputs negated, and that a NOR gate is equivalent to an AND gate with both inputs negated. That is to say, simply move the 'NOT' circles from the front or back of the gate and change from AND or OR or vice-versa.

Attachments

• 2.4 KB Views: 1,851

Hypnos_16

Re: Simple Logic Question of Converting "or" to "and"

But it simple terms of symbols like "∧ and" "¬ not." What would be an equivalent for "or?" The Question i was given is.

Rewrite the following formula using only ¬ and ∧ (that is, write an equivalent formula which does not have ∨,→,). Start by saying how you express (p∨q),(p→q)and(pq).

(¬qr)∧(¬p∨¬r)→(p∨¬q)

With that being the formula i need to convert. I just don't recall how exactly to change ∨ to something with ∧'s and ¬'s

gneill

Mentor
Re: Simple Logic Question of Converting "or" to "and"

But it simple terms of symbols like "∧ and" "¬ not." What would be an equivalent for "or?" The Question i was given is.

Rewrite the following formula using only ¬ and ∧ (that is, write an equivalent formula which does not have ∨,→,). Start by saying how you express (p∨q),(p→q)and(pq).

(¬qr)∧(¬p∨¬r)→(p∨¬q)

With that being the formula i need to convert. I just don't recall how exactly to change ∨ to something with ∧'s and ¬'s
I suggested two tools that would allow you to "remember" how to convert ∨ expressions to ∧ expressions. Here they are converting A ∨ B to an equivalent using ∧:

Attachments

• 4.2 KB Views: 1,853

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving