In the, given circuit we have used OR gate and AND gate. Let `y^(')` be the output of the OR gate. Therefore `A+B=y^(')`. The AND gate receives A and `y^(')` as input. The output of this gate is y. Therefore, `y=A.y^(')=A.(A+B)`. The following table shows all the combinations of A and B related to y
`|{:(A,B,y'=A+B,y=A.(A+B)),(0,0, 0,0),(0,1,1,0),(1,0,1,1),(1,1,1,1):}|`
`|{:(A,B,y),(0,0,0),(0,1,0),(1,0,0),(1,1,1):}|`
Thus the table is the truth of the given electronic circuit.
