т може бути переписаний у діз'юнктівной нормальній формі. Наприклад:  
 = ta ? (tb ? ¬ tc) = qdnf = (ta ​​span > ? tb ? tc) ? (ta ​​span> ? tb ? ¬ tc) ? (ta ​​span> ? ¬ tb ? ¬ tc) 
   Кожна диз'юнкція являє собою ідеальний набір документів. Документ задовольняє запиту, якщо він міститься в термінах диз'юнкції: 
  = (ta ? tb ? tc) ? (ta ​​span> ? tb ? ¬ tc) ? (ta ​​span> ? ¬ tb ? ¬ tc) 
  qdnf = (1,1,1) ? (1,1,0) ? (1,0,0) 
  SC (q, dj) = 
   Переваги булевої моделі: 
  В· Логічні вирази мають точну семантику. 
				
				
				
				
			  В· Використовуються структуровані запити. 
  В· Для досвідчених користувачів вона інтуїтивна. 
  В· Простий і акуратний формалізм дозволяв прийняти її в багатьох ранніх комерційних бібліографічних системах. 
  Недоліки булевої моделі: 
  В· Чи не здійснюється ранжування. Стратегія пошуку заснована на двійковому критерії рішення, тобто документ передбачається або релевантним, або нерелевантних. 
  В· Не просто перевести інформаційне вимогу в логічне вираження. 
   2.2 Векторна модель 
   Векторна модель представляє документи та запити у вигляді векторів в просторі термінів. Значимість індексного терміна представлена ​​речовим вагою. p align="justify">, j? 0 пов'язаний з пар...