consider case 1 cut in the AND/OR function