Binary Logic GNU R Package