F#ではbool型の値を扱う演算子(= 論理演算子)がデフォルトで用意されています。論理演算子はbool演算子とも呼ばれており、AND演算 / OR演算 / NOT演算 という3つの基本的な演算によって構成されています。
　以下が論理演算子の一覧となります。

論理演算子	概要
not (論理否定)	NOT演算子. 　true ならば false に, false ならば true となります.
|| (論理和)	OR演算子. 　いずれかの値が true の場合に true となります(= すべての値が false の場合にのみ false となります).
&& (論理積)	AND演算子. 　すべての値が true の場合にのみ true となります(= いずれかの値が false の場合に false となります).

　OR演算子とAND演算子は短絡評価(= ショートサーキット評価)として実行されます。これは左から順に論理演算を評価していき、結果が確定となった瞬間に右側に残っている評価を実施せずに結果を出す評価方法のことを言います。こうすることにより無駄な論理演算処理をしなくて済むわけです。

　言葉で説明するよりも実際の動きを見ていただいたほうがイメージがつくと思いますので、以下のサンプルをご参照してください。