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