برای اینکه بدونیم جامع هست از سمت راست شروع میکنیم میگیم آیا هر الف/ب هست اگه جواب بله بود میشه جامع هست و اگه جواب خیر بود میشه جامع نیست
و برای اینکه بدونیم مانع هست یا نه از سمت چپ شروع میکنم میگیم آیا هر ب/الف است اگه جواب بله بود مانع هست و اگه جواب خیر بود میشه مانع نیست
مثال: انسان: حیوان راست قامت
آیا هر انسان، حیوان راست قامت است؟بله (جامع هست)
آیا هر حیوان راست قامت، انسان است؟خیر (مانع نیست)