 binari truth-function oper decim comput extract command 