informatics

論理と計算

論理結合子

|論理結合子|使い方|意味| |連言∧|P∧Q|PかつQ| |選言∨|P∨Q|PまたはQ| |否定¬|¬P|Pでない| |含意⇒|P⇒Q|PならばQ|

同値⇔P⇔QPはQと同値である

トップ   一覧 単語検索 最終更新   ヘルプ   最終更新のRSS