ソフトウェア・ライセンスのプランを変更する際に命題論理を用いて，形式的に機能制限の設計を行うことができる． たとえば，次のようにプランが再設計されたものとする． $$\begin{align}p &\implies v \\q &\implies v \lor w\end{align}$$ ここに，$${p}$…