YES 1 decompositions #0 ----------- 1: or(true(),true()) -> true() 2: or(x,y) -> or(y,x) @Strongly Commuting --- R 1: or(true(),true()) -> true() 2: or(x,y) -> or(y,x) --- S 1: or(true(),true()) -> true() 2: or(x,y) -> or(y,x)