Digital logics