Boolean algebra engine for creating logic trees.