Õppevideo, mille sisuks on ühe lausearvutuse valemi näitlik teisendamine täielikule konjunktiivsele normaalkujule. Valminud aine MTAT.03.132 projektitööna.