દરેક લોજિકલ સમાન નિવેદન આભારી કરી શકાય છે, તેથી, 2 જૂથો પૈકીના એક જૂથ: