5˙0012
Verneinung, Disjunktion, logische Multiplikation etc. sind Operationen.