4 ms·
Technical interpretation of the name would indeed exclude it: if W=false, and X=false, then W^X does not hold (W^X also evaluates to false).
by madars 8y ago
Technical interpretation of the name would indeed exclude it: if W=false, and X=false, then W^X does not hold (W^X also evaluates to false).