Revision history of "not(contains(not(false))) composition" (Z13457)

Àṣàyàn ìyàtọ̀: ẹ fagi sínú àpótí àwọn átúnyẹ̀wò tí ẹ fẹ́ ṣàfiwè, lẹ́yìn náà ẹ tẹ enter tàbí bọ́tìnì ìsàlẹ̀.
Àlàyé: (lọ́wọ́) = ìyàtọ̀ sí àtúnyẹ̀wò tìsinyìí, (tẹ́lẹ̀) = ìyàtọ̀ sí àtúnyẹ̀wò tókọjá, k = àtúnṣe kékeré.