 Note the clauses for verifying a conjunction and falsifying a disjunction. A state makes a conjunction true if and only if it is the fusion of states that verify the respective conjuncts \(\varphi\) and \(\psi\). Analogously, a state makes a disjunction false if and only if it is the fusion of states that falsify the respective disjuncts \(\varphi\) and \(\psi\).