1) VERIFICATION OF LOGIC GATES
2)DESIGN OF HALF ADDERS, FULL ADDERS
3) DESIGN OF HALF SUBTRACTOR, FULL SUBTRACTOR
4) Y=AB'+A'B
F(A,B,C)=(A'B+C) XNOR (AC'+BC).
AISHWARYA
ZEEYA UL HAQ
20231CSE0662
VERIFICATION OF BOOLEAN LAWS (PAGE NO. 17, 18 & 19)