P AND Q AND R OR P AND R