Implement `disj` and `conj` functions.