嘘つき問題を論理式で解いたらどうなるんだろ