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).