נציג אלגוריתמים אוטומטיים לפירוק שאילתה בוליאנית לרשימת התוצאות האפשריות. את האלגוריתמים נבנה באמצעות לוגיקה פשוטה של פירוק שרשרת תנאים (פקודות בוליאניות) של AND ו OR לשרשרת של כל התוצאות האפשריות. ננסה גם לתת פתרון לקינון שאילתות.