コンテンツにスキップ
論理計算機
計算機
合成
学ぶ
練習
テーマを選択:
システム
言語を選択:
🇯🇵
日本語
メニュー
計算機
合成
学ぶ
練習
テーマ
テーマを選択:
システム
言語
言語を選択:
🇯🇵
日本語
((A→B)↔(¬A∨B)) の真理値表
((A→B)↔(¬A∨B))
プロパティ:
トートロジー
真理値表
A
B
((A→B)↔(¬A∨B))
偽
偽
真
真
偽
真
偽
真
真
真
真
真
計算機で試す