Case Study for Binary Logic