Det ble gjort en feil …

Det ble gjort en feil på tavla under tirsdagens forelesning! Vi ser naturligvis alvorlig på dette, og stikker forbi gruppetimen på fredag for å rette opp. I korthet så er eller-eliminasjonsregelen litt subtil, og det gikk for raskt i svingene under induksjonsbeviset for sunnhet m.h.t. valuasjoner i Boolske algebraer.