締切済み

[(A∧B)→(¬A→B)]は恒真式になりますか？

2024/05/10 16:03

[(A∧B)→(¬A→B)]は恒真式になりますか？真理値を演算してみたら、私側では写真のように全て1となり、恒真式になるんですけど。

ただののぞみ（@TadanoShiruko）
お礼率0% (0/1)

数学・算数
回答数1
ありがとう数0

みんなの回答 （1）
専門家の回答

みんなの回答

f272
ベストアンサー率46% (8626/18446)

2024/05/10 17:05 回答No.1

確かに恒真式だ。 (A∧B)→(¬A→B) ≡ ¬(A∧B)∨(A∨B) ≡ (¬A∨¬B)∨(A∨B) ≡ (¬A∨A)∨(¬B∨B) ≡ 1

[(A∧B)→(¬A→B)]は恒真式になりますか？

みんなの回答

関連するQ&A

論理式が恒真式であるか吟味する問題で

論理式の問題がわかりません

a^2=1－b^2であるときaは何という式で表せま

日本史の転換点？：赤穂浪士、池田屋事件、禁門の変に見る武士の忠義と正義

真理値表を用いた否定・論理積、和・排他的論理和・含意・等値を勉強してるんですが

return (A && B) || 0;

シートＡとシートＢの値を比較する演算式を教えてください

X=（（AA)+(BB))/A*2をA=の式に

A→Bの真理値の意味がわかりません

if(A=B,"",B)の式の効率的な組み方

a^2(b -c) +b^2(c -a) +c^2(a -b) この式

(a+b)(a2-ab+b2)=a3+b3の途中式

{(a^2－b^2)(a^4＋a^2b^2＋b^4

(A∩B)∪(A~∩B) = Bの証明

論理学

3次スプラインの式を求めるための行列が解けません

真理値表から論理式を導く

式Ａは○・式Ｂは×の見極め

√を用いて（A+B）^2への式変形

数学Ａの場合の数からの問題で(3a2b)^4の展開式におけるa^3bの

a^3+b^3となる複雑な式。

注目のQ&A

カテゴリ

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

専門家に質問してみよう

[(A∧B)→(¬A→B)]は恒真式になりますか？

みんなの回答

関連するQ&A

論理式が恒真式であるか吟味する問題で

論理式の問題がわかりません

a^2=1－b^2であるときaは何という式で表せま

日本史の転換点？：赤穂浪士、池田屋事件、禁門の変に見る武士の忠義と正義

真理値表を用いた否定・論理積、和・排他的論理和・含意・等値を勉強してるんですが

return (A && B) || 0;

シートＡとシートＢの値を比較する演算式を教えてください

X=（（A*A)+(B*B))/A*2をA=の式に

A→Bの真理値の意味がわかりません

if(A=B,"",B)の式の効率的な組み方

a^2(b -c) +b^2(c -a) +c^2(a -b) この式

(a+b)(a2-ab+b2)=a3+b3の途中式

{(a^2－b^2)(a^4＋a^2b^2＋b^4

(A∩B)∪(A~∩B) = Bの証明

論理学

3次スプラインの式を求めるための行列が解けません

真理値表から論理式を導く

式Ａは○・式Ｂは×の見極め

√を用いて（A+B）^2への式変形

数学Ａの場合の数からの問題で(3a2b)^4の展開式におけるa^3bの

a^3+b^3となる複雑な式。

注目のQ&A

カテゴリ

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

専門家に質問してみよう

X=（（AA)+(BB))/A*2をA=の式に