two-valued logic