「not backward Boolean implication(T,T) = F」（Z11227）的版本歷史

差別揀選：選擇卜比並其版本，再擪「回車」(Enter)或者擪底底其比並揀選版本。
說明：（伶）=共第一新其版本比並，（前）=共前蜀版本比並，~=過幼修改。