a = (b or c) and d