この決め方の場合、回転角度の範囲は、となる。メソッドを使うとよいでしょう。回転の表現を相互に変換できるようになります。これらを実装してみます。ライブラリのみを利用して実装したいと思います。これらのメソッドを呼び出すテストが付いています。命題論理を扱うためのライブラリを作成しました。今回は、このライブラリを利用して複雑な問題をいくつか解いてみます。すべての住民は騎士または悪漢のいずれかであり、騎士はつねに本当のことを言い、悪漢はつねに噓をつく。「私たちは二人とも悪漢だ」と言った。それぞれ騎士か悪漢か?普通に考えて解くこともできますが、この状況を記号で表すことを考えます。