Sajarah révisi "false implied by true is false" (Z10359)

Kanggo mbandhingaké: Tandhani kothak radhioning révisi-révisi kang arep dibandhingaké lan pencèt Enter utawa tombol ing ngisor.
Legéndhah: (saiki) = bédané karo révisi pungkasan, (sadurungé) = bédané karo révisi sadurungé, c = besutan cilik.