A. x,y,zの中に0であるものが少なくとも1つあるとき、xyz=0となる。
B. x=0,またはy=0,またはz=0のときはxyz=0となる

Aの対偶から、「xyz≠0 ⇒ x,y,zはいずれも0ではない」(③の十分)が言える
Bは③の必要の方の対偶