NO

1 decompositions
 #0 -----------
   1: not(true()) -> false()
   2: not(false()) -> true()
   3: or(true(),y) -> true()
   4: or(x,true()) -> true()
   5: or(false(),false()) -> false()
   6: and(true(),true()) -> true()
   7: and(x,true()) -> x
   8: and(true(),y) -> y
   9: and(false(),false()) -> false()
  10: not(and(x,y)) -> or(not(x),not(y))
  11: not(or(x,y)) -> and(not(x),not(y))

unjoinable peak
    false()
*<- not(or(true(),_y16)) ->*
    and(false(),not(_y16))