dgs sayısal mantık