| http://www.w3.org/ns/prov#value | - Suppose we have a bitwise expression???an expression E over (Bn, , , )???using t variables x0,x1, . . . ,xt???1. (For the truth table shown in Table C, t=3 and variables x0,x1,x2 are just variables x,y,z.) Then the truth table for any bit-position within the vectors is a truth table for the same expression, but taking x0, . . . ,xt???1 to be vectors of length one, since in bitwise operations, the
|
