QM法で論理値関数を簡単化します。