4 ms·Vacuous truth4 points by steeples 12y agoNaNaN 12y agoIt remind me of this statement: X -> Y iff. ~(X & ~Y) http://tellerprimer.ucdavis.edu/pdf/1ch4.pdf http://tellerprimer.ucdavis.edu/pdf/1ch4.pdf