Boolean algebra interpreter