Kävin kolesterolikokeessa. Tosin mietin syytä. Jos arvot kunnossa, ei tule lisäohjeita; jos eivät kunnossa, pitää laihduttaa. Ja laihduttaa pitää jo sokeriarvojen takia. Ergo, tulos on selvä etukäteen.

Tietokoneissakin on oikosulkuevaluaatio. Lauseessa "JOS f(x) TAI g(x) TEE p" ei lasketa mitä on g(x) jos f(x) on tosi -- onhan silloin koko TAI-konjunktion lopputulos jo selvillä. Sama tietenkin pätee tapauksessa "JOS f(x) JA g(x) TEE p", milloin f(x) on epätosi.

Minulle on kolme bloggauksenaihettakin jo mielessä, jotain vähän laajempaa. Niistä myöhemmin.