論理式全体の値を真にするような、真偽値formula_12の組み合わせは存在するか?