Implement and-or algorithm