真理値表からの式展開