反転

形式論理学についての解説の記事です。 トートロジー、真理関数、シェファーの棒記号について解説します。 トートロジー トートロジー（tautology）とは、どのような命題の真偽値においても常に「真」である論理式を指します。命題論理におけるト...

論理学を学ぶ記事です． 本記事では，論理演算について説明します． 論理和 \(A \lor B\)の真理表を以下に記します． \(A\)\(B\)\(A \lor B\)111101011000 これは，1と1を演算して1，1と0を演算して...