در نوشته های محققان دانش اطلاع رسانی، بخصوص در بحث از نظامهای بازیابی پس همانا[1] اشارههایی به منطق بول می شود. منطق بول، که از نوآوریهای جوری بول[2][3] دانشمند انگلیسی است، ساختاری ریاضی است که به اعتبار ساخت صوری آن تعبیری گوناگون می پذیرد. جای بحث منطق بول در منطق ریاضی و ریاضیات جدید است. از این روست که محققان بسیاری در نوشته های خود اغلب با اشاره کوتاهی به این منطق از آن می گذرند و خواننده برای آگاهیهای بیشتر خود باید به کتابهای مناسب مراجعه کند. هدف ما در این مقاله طرح ریاضی منطق بول ...