Before revision: The two basic monadic operators for this two-valued vector logic are the identity and the negation: Identity: A logical identity ID(p) is represented by matrix , where the juxtapositions are Kronecker products .
After revision: The two basic monadic operators for this two-valued vector logic are the identity and the negation: Identity: A logical identity ID(p) is represented by matrix .