different types of logic examples - Search