“not backward Boolean implication(F,F) = F”（Z11224）的版本历史

差异选择：选中要对比的版本的单选按钮，按Enter键或下方的按钮。
说明：（当前）=与最后版本之间的差异，（之前）=与上一版本之间的差异，n=小编辑。