હવે અમે ચોક્કસ ઉદાહરણો સાથે તર્કશાસ્ત્રના કાયદાની અને લોજિકલ અભિવ્યક્તિઓ રૂપાંતર નિયમો ધ્યાનમાં પ્રસ્તાવ છે.