Boolean Logic In Artificial Intelligence