 Thus one conclusion equation is \(1-x = wz\), which has the interpretation  All not-\(x\) is \(z\). The other is \(vx = 1-z\), which has the interpretation All not-\(z\) is \(x\). Each of these two propositions is just the conversion by negation of the other.  