GATE CS 2024 Set 1 — Question 47

MSQ+2 / -0EasySOP & POS FormsBoolean Algebra & Logic GatesDigital LogicK-Map Minimization

Digital Logic → Boolean Algebra & Logic Gates → K-Map Minimization

Last updated

Question

Consider a Boolean expression given by F(X,Y,Z)=(3,5,6,7)F(X, Y, Z) = \sum(3,5,6,7).
Which of the following statements is/are CORRECT?
A.
F(X,Y,Z)=Π(0,1,2,4)F(X, Y, Z) = \Pi(0,1,2,4)
B.
F(X,Y,Z)=XY+YZ+XZF(X, Y, Z) = XY + YZ + XZ
C.
F(X, Y, Z) is independent of input YY
D.
F(X, Y, Z) is independent of input XX

Correct answer

(A) F(X, Y, Z) = (0,1,2,4); (B) F(X, Y, Z) = XY + YZ + XZ

Solution

Given the Boolean function in Sum of Minterms (SOP) form:F(X,Y,Z)=(3,5,6,7)F(X, Y, Z) = \sum(3, 5, 6, 7)Analysis of Option (A):
The function is defined over 3 variables, so the total minterms range from 0 to 7. The maxterms correspond to the minterms that are not present in the function.
Missing minterms: {0,1,2,4}\{0, 1, 2, 4\}.
Thus, the Product of Maxterms (POS) form is:F(X,Y,Z)=Π(0,1,2,4)F(X, Y, Z) = \Pi(0, 1, 2, 4)This statement is CORRECT.
Analysis of Option (B):
Let's simplify the function using the minterms:
  • m3=011m_3 = 011 (XˉYZ\bar{X}YZ)
  • m5=101m_5 = 101 (XYˉZX\bar{Y}Z)
  • m6=110m_6 = 110 (XYZˉXY\bar{Z})
  • m7=111m_7 = 111 (XYZXYZ)
We can group them:
  • Group (m3,m7)(m_3, m_7): XˉYZ+XYZ=YZ(Xˉ+X)=YZ\bar{X}YZ + XYZ = YZ(\bar{X} + X) = YZ
  • Group (m5,m7)(m_5, m_7): XYˉZ+XYZ=XZ(Yˉ+Y)=XZX\bar{Y}Z + XYZ = XZ(\bar{Y} + Y) = XZ
  • Group (m6,m7)(m_6, m_7): XYZˉ+XYZ=XY(Zˉ+Z)=XYXY\bar{Z} + XYZ = XY(\bar{Z} + Z) = XY
Combining these terms:F(X,Y,Z)=XY+YZ+XZF(X, Y, Z) = XY + YZ + XZThis is the majority function, which is 1 if two or more inputs are 1. The minterms 3, 5, 6, 7 are exactly those with two or more 1s.
This statement is CORRECT.
Analysis of Options (C) and (D):
The expression F=XY+YZ+XZF = XY + YZ + XZ depends on all three variables. For instance:
  • If X=0,Z=1X=0, Z=1, then F=Y(1)+0+0=YF = Y(1) + 0 + 0 = Y. The output depends on YY.
  • If Y=0,Z=1Y=0, Z=1, then F=0+0+X(1)=XF = 0 + 0 + X(1) = X. The output depends on XX.

Thus, the function is not independent of XX or YY.
These statements are INCORRECT.

More questions on Boolean Algebra & Logic Gates

Practice GATE CS PYQs with adaptive difficulty

Timed practice, skill tracking, and AI explanations — free to start.

Start practicing free