خلاصه ماشینی:
"اما از آن جهت حکه کوچکترین جز اطلاعاتی در کامپیوتر TIB نام دارد و نشاندهنده دو حالت است که یکی از این حالات"0"و دیگری"1"تعبیر خواهند شد،بنابراین در اینجا به منظور نمایش جدول ارزش عملگرها&%02505TKPG025G% که در واقع بیانگر چگونگی عملکرد رابطهها خواهد بود، بجای استفاده از )T( و )F( از صفر و یک استفاده میشود.
(به تصویر صفحه مراجعه شود) چون ترکیب مفاهیم با استفاده از عملگرهای بول معمولا به وسیله دیاگرامهای ون نیز نشان داده میشود لذا شکل شماره 2 فرمول مورد جستجو را در قالب دیاگرام ون نمایش میدهد.
"6(شکل شماره 8) (به تصویر صفحه مراجعه شود) عملگر منطقی toN کمتر مورد استفاده قرار میگیرد،زیرا در مواردی که دو توصیفگر را بر این اساس فرموله میکنیم، مستثنی کردن و تفاضل منطقی باعث میشود مدارکی که اطلاعات مفیدی دارند،یعنی هر دو توصیفگر را باهم مورد توجه قرار دادهاند بازیابی نشوند.
برخی از این قواعد که با توجه به عملگرهای منطق بول )TON,RO,DNA( در کار جستجوی کامپیوتری اطلاعات به نظر میرسد بیشتر مورد استفاده قرار گیرند عبارتند از: (به تصویر صفحه مراجعه شود) مبنای تنظیم قواعد استنتاجی فوق که بنام قواعد جایگذاری8معروفند هم ارزهای منطقی است که برای نمایش هم ارزی از علامت"(به تصویر صفحه مراجعه شود)"استفاده میشود.
د. قوانین دمرگان از آنجا که نتایج بدست آمده از این نوع فرمولبندی صفر است معمولا چنین فرمولبندی به تنهائی جهت جستجو به کار گرفته نمیشود ولی انی نوع فرمولبندی در ترکیب با سایر فرمولبندیها قطعا مورد استفاده دارد که شناخت آن برای جستجوگر بیتأثیر نخواهد بود."