F'(o(x,y))=:NOT(F( o(x,y))はずるい?(〜〜)