(FU) \begin{alignat}{1} K & \cup\{\neg Q\} \>\> & P \\ K & \cup\{Q\} & P \\ \hline K & &P \end{alignat}