論理記号の一覧
オーバーラインの引かれた中点は否定論理積 NAND を表す。A · B は ¬ (A & B) と等価。
「故に、従って (therefore)」を意味する。