• Support PF! Buy your school textbooks, materials and every day products via PF Here!

Simple Logic Question of Converting or to and

  • Thread starter Hypnos_16
  • Start date
153
1
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

Someone please help,
 

gneill

Mentor
20,489
2,615
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.

attachment.php?attachmentid=39527&stc=1&d=1317578702.gif
 

Attachments

153
1
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(p↔q).

(¬q↔r)∧(¬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
20,489
2,615
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(p↔q).

(¬q↔r)∧(¬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 ∧:
attachment.php?attachmentid=39535&stc=1&d=1317583697.gif
 

Attachments

Related Threads for: Simple Logic Question of Converting or to and

  • Posted
Replies
1
Views
884
Replies
13
Views
3K
Replies
2
Views
6K
Replies
8
Views
2K
Replies
1
Views
9K
Replies
1
Views
2K
  • Posted
Replies
1
Views
3K

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
Top