තොරතුරු හා සන්නිවේදන තාක්ෂණය: තාර්කික ද්වාර සමඟ බූලීය වීජ තර්කය