5.254

A operação pode desaparecer (por exemplo, a negação em “∼∼p”, ∼∼p = p).