Two-valued logic