Simple Logic Question of Converting or to and

  • Thread starter Thread starter Hypnos_16
  • Start date Start date
  • Tags Tags
    Logic
AI Thread Summary
The discussion focuses on converting logical expressions involving "or" (∨) into expressions using only "and" (∧) and negation (¬). The user seeks assistance in rewriting a specific formula, (¬q ↔ r) ∧ (¬p ∨ ¬r) → (p ∨ ¬q), without using the "or" operator. It is noted that using Karnaugh maps can help visualize simplifications, and the relationship between NAND and NOR gates is mentioned as a way to understand the conversion. The core question revolves around finding the equivalent expression for "or" using only "and" and "not." Understanding these conversions is essential for logical expression manipulation in digital circuits.
Hypnos_16
Messages
148
Reaction score
1
Simple Logic Question of Converting "or" to "and"

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.

Homework Equations



n/a

The Attempt at a Solution



Someone please help,
 
Physics news on Phys.org


I find it's useful to use a Karnaugh map in these cases, since it let's 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

  • Fig1.gif
    Fig1.gif
    2.4 KB · Views: 2,330


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
 


Hypnos_16 said:
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

  • Fig1.gif
    Fig1.gif
    4.2 KB · Views: 2,280
Back
Top