Õppevideo, mis tutvustab lausearvutuse valemi teisendamist täielikule disjunktiivsele normaalkujule. Valminud aine MTAT.03.132 Multimeedia projektitööna.