retagged by
5,512 views
30 votes
30 votes

Let $\#$ be the binary operator defined as

$X\#Y = X'+Y'$ where $X$ and $Y$ are Boolean variables.

Consider the following two statements.

  • $(S_1)$ $(P\#Q)\#R = P\#(Q\#R)$
  • $(S_2)$ $Q\#R = (R\#Q)$

Which are the following is/are true for the Boolean variables $P, Q$ and $R$?

  1. Only $S_1$ is true
  2. Only $S_2$ is true
  3. Both $S_1$ and $S_2$ are true
  4. Neither $S_1$ nor $S_2$ are true
retagged by

3 Answers

Best answer
33 votes
33 votes
Answer: B

$(P\#Q)\#R=(P'+Q')\#R$
$\quad \quad =P.Q+R'$

whereas,
$P\#(Q\#R)=P'+(Q\#R)'$
$\quad \quad=P'+(Q'+R')'$
$\quad \quad=P'+QR$
edited by
17 votes
17 votes
X#Y=X'+Y'

      =(XY)'     (DEMORGAN'S LAW)

so this # operatoe is nand operator

Nand is commutative but not associative. So B is the answer
5 votes
5 votes

It is given that 

X#Y = X'+Y' where X and Y are Boolean variables.

Consider the following two statements.

(S1) is

(P#Q)#R = P#(Q#R)

L.H.S is  (P#Q)#R                                                                            

=(P'+Q')#R   (Using given relation)                                             

=(P'+Q')'#R=> P.Q+R' (Using Demorgans theorem )

    R.H.S is  P#(Q#R)

 =P#(Q'+R')

=P'+(Q'+R')' => P'+Q.R

L.H.S !=R.H.S

So S1 is not true.

(S2) is  Q#R = (R#Q)      

L.H.S Q#R=Q'+R'

and R.H.S is R#Q=R'+Q'

so L.H.S=R.H.S

So S2 is true.

                                                         

Answer:

Related questions

43 votes
43 votes
7 answers
1
25 votes
25 votes
2 answers
3
makhdoom ghaya asked Feb 13, 2015
6,306 views
The binary operator $\neq$ is defined by the following truth table.$$\begin{array}{|l|l|l|} \hline \textbf{p} & \textbf{q}& \textbf{p} \neq \textbf{q}\\\hline \text{0} & ...
39 votes
39 votes
4 answers
4
Kathleen asked Oct 4, 2014
5,724 views
On the set $N$ of non-negative integers, the binary operation ______ is associative and non-commutative.