Boolean Logic revision notes