I am really confused with this. I don\'t understand what specifying the two level implementation does here. My guess was to take POS of the function since OR-AND implies POS but