edited by
10,580 views
45 votes
45 votes

Let $\oplus$ denote the exclusive OR (XOR) operation. Let '$1$' and '$0$' denote the binary constants. Consider the following Boolean expression for $F$ over two variables $P$ and $Q$:

$$F(P,Q)=\left( \left(1 \oplus P \right) \oplus \left( P \oplus Q \right )\right ) \oplus \left(\left(P \oplus Q\right) \oplus \left(Q \oplus 0\right)\right)$$

The equivalent expression for $F$ is

  1. $P+Q$
  2. $\overline{P+Q}$
  3. $P \oplus Q$
  4. $\overline {P \oplus Q}$
edited by

7 Answers

Best answer
58 votes
58 votes
XOR is associative and commutative. Also, $A \oplus A = 0$ and $A \oplus 1 = \overline{ A}$ and $A \oplus 0 = A$.  So
$\left( \left(1 \oplus P \right) \oplus \left( P \oplus Q \right )\right ) \oplus \left(\left(P \oplus Q\right) \oplus \left(Q \oplus 0\right)\right)$
$\implies \left(1 \oplus P \right) \oplus \left( \left( P \oplus Q \right ) \oplus \left(P \oplus Q \right) \right) \oplus \left(Q \oplus 0\right)$
$\implies  \left(1 \oplus 0 \right) \oplus \left( P \oplus Q \right) $
$\implies 1 \oplus \left(  P\oplus Q \right)$
$\implies \overline {\left( P \oplus Q\right)}$

Correct Answer: $D$
edited by
13 votes
13 votes

D)
Since there are only 2 variables putting in pair of values of P and Q in F and checking with the options is a time saving method.
But Lets solve it.


 

8 votes
8 votes

Using the properties of associativity and commutativity, and the below mentioned properties we can find the correct answer:

1. $X⊕X = 0$

2. $X⊕1=X'$

3. $X⊕0=X$


$F(P,Q)=((1⊕P)⊕(P⊕Q))⊕((P⊕Q)⊕(Q⊕0))$

$=(P'⊕(P⊕Q))⊕((P⊕Q)⊕(Q⊕0))$

$=((P'⊕P)⊕Q))⊕((P⊕Q)⊕(Q⊕0))$

$=((1⊕Q)⊕((P⊕Q)⊕(Q⊕0))$

$=(Q'⊕((P⊕Q)⊕(Q⊕0))) $

$=(Q'⊕((P⊕Q)⊕Q)) $

$=(Q'⊕(P⊕(Q⊕Q))) $

$=(Q'⊕(P⊕0)) $

$=(Q'⊕P) $

$=(Q⊕P)'$

So, the correct option is, option no. D.

edited by
Answer:

Related questions

27 votes
27 votes
5 answers
1
go_editor asked Sep 28, 2014
17,419 views
The above synchronous sequential circuit built using JK flip-flops is initialized with $Q_2Q_1Q_0 = 000$. The state sequence for this circuit for the next $3$ clock cycle...
24 votes
24 votes
2 answers
3
go_editor asked Sep 28, 2014
5,389 views
Consider the equation: $(7526)_8 − (Y)_8 = (4364)_8$, where $(X)_N$ stands for $X$ to the base $N$. Find $Y$.$1634$$1737$$3142$$3162$