RTOS: How does Binary Semaphore works?

Tool/software:TI-RTOS

Hi there, Could someone explain me how does the binary semaphore works???

If semaphore is already posted and then one more semaphore is posted, would this mean now the binary semaphore is not available? as in count = 0? 

Regards,

Mitesh