Revision history of "Not Boolean implication: (true, false) is true" (Z11162)

Izbor razlika: označite radio-dugme verzija za upoređivanje i pritisnite enter ili dugme na dnu.
Objašnjenje: (tren) = razlika s trenutnom verzijom, (razl) = razlika s prethodnom verzijom, m = manja izmena.