Update KSch11-logicaloperators.tex