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: implies(true(),y) -> y
   7: implies(false(),y) -> true()
   8: implies(x,y) -> or(not(x),y)

unjoinable peak
    _y12
*<- implies(true(),_y12) ->*
    or(false(),_y12)