Is my truth table for the formula: $A ∧ (A ∨ C) implies (C ∨ B)$ correct?
Clash Royale CLAN TAG#URR8PPP
up vote
3
down vote
favorite
Is my truth table for the formula: $A land (A lor C) implies (C lor B)$ correct?
logic propositional-calculus
edited Aug 26 at 19:32
Anik Bhowmick
490417
asked Aug 26 at 19:07
user3352632
827
add a comment |Â
up vote
3
down vote
favorite
Is my truth table for the formula: $A land (A lor C) implies (C lor B)$ correct?
logic propositional-calculus
edited Aug 26 at 19:32
Anik Bhowmick
490417
asked Aug 26 at 19:07
user3352632
827
3
In a word: yes, it is.
– fleablood
Aug 26 at 19:12
2
It seems fine to me.
– Anik Bhowmick
Aug 26 at 19:14
add a comment |Â
up vote
3
down vote
favorite
up vote
3
down vote
favorite
Is my truth table for the formula: $A land (A lor C) implies (C lor B)$ correct?
logic propositional-calculus
edited Aug 26 at 19:32
Anik Bhowmick
490417
asked Aug 26 at 19:07
user3352632
827
Is my truth table for the formula: $A land (A lor C) implies (C lor B)$ correct?
logic propositional-calculus
edited Aug 26 at 19:32
Anik Bhowmick
490417
asked Aug 26 at 19:07
user3352632
827
edited Aug 26 at 19:32
Anik Bhowmick
490417
edited Aug 26 at 19:32
Anik Bhowmick
490417
edited Aug 26 at 19:32
Anik Bhowmick
490417
490417
asked Aug 26 at 19:07
user3352632
827
asked Aug 26 at 19:07
user3352632
827
asked Aug 26 at 19:07
user3352632
827
827
3
In a word: yes, it is.
– fleablood
Aug 26 at 19:12
2
It seems fine to me.
– Anik Bhowmick
Aug 26 at 19:14
add a comment |Â
3
In a word: yes, it is.
– fleablood
Aug 26 at 19:12
2
It seems fine to me.
– Anik Bhowmick
Aug 26 at 19:14
3
3
In a word: yes, it is.
– fleablood
Aug 26 at 19:12
In a word: yes, it is.
– fleablood
Aug 26 at 19:12
2
2
It seems fine to me.
– Anik Bhowmick
Aug 26 at 19:14
It seems fine to me.
– Anik Bhowmick
Aug 26 at 19:14
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
0
down vote
Yes. Â Why did you doubt it?
$Awedge (Avee C)$ is true only when $A$ is true.
$Cvee B$ is true when either of $B$ or $C$ are true.
$Awedge (Avee C)to(Cvee B)$ is true when at least one from: $A$ is false, $B$ is true, or $C$ is true.
Okay, perhaps, to be strict, you should include a column for $Avee C$, to show, rather than merely asserting, that $Awedge (Avee C)$ is equivalent to $A$.
answered Aug 27 at 23:57
Graham Kemp
81k43275
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
Yes. Â Why did you doubt it?
$Awedge (Avee C)$ is true only when $A$ is true.
$Cvee B$ is true when either of $B$ or $C$ are true.
$Awedge (Avee C)to(Cvee B)$ is true when at least one from: $A$ is false, $B$ is true, or $C$ is true.
Okay, perhaps, to be strict, you should include a column for $Avee C$, to show, rather than merely asserting, that $Awedge (Avee C)$ is equivalent to $A$.
answered Aug 27 at 23:57
Graham Kemp
81k43275
add a comment |Â
up vote
0
down vote
Yes. Â Why did you doubt it?
$Awedge (Avee C)$ is true only when $A$ is true.
$Cvee B$ is true when either of $B$ or $C$ are true.
$Awedge (Avee C)to(Cvee B)$ is true when at least one from: $A$ is false, $B$ is true, or $C$ is true.
Okay, perhaps, to be strict, you should include a column for $Avee C$, to show, rather than merely asserting, that $Awedge (Avee C)$ is equivalent to $A$.
answered Aug 27 at 23:57
Graham Kemp
81k43275
add a comment |Â
up vote
0
down vote
up vote
0
down vote
Yes. Â Why did you doubt it?
$Awedge (Avee C)$ is true only when $A$ is true.
$Cvee B$ is true when either of $B$ or $C$ are true.
$Awedge (Avee C)to(Cvee B)$ is true when at least one from: $A$ is false, $B$ is true, or $C$ is true.
Okay, perhaps, to be strict, you should include a column for $Avee C$, to show, rather than merely asserting, that $Awedge (Avee C)$ is equivalent to $A$.
answered Aug 27 at 23:57
Graham Kemp
81k43275
Yes. Â Why did you doubt it?
$Awedge (Avee C)$ is true only when $A$ is true.
$Cvee B$ is true when either of $B$ or $C$ are true.
$Awedge (Avee C)to(Cvee B)$ is true when at least one from: $A$ is false, $B$ is true, or $C$ is true.
Okay, perhaps, to be strict, you should include a column for $Avee C$, to show, rather than merely asserting, that $Awedge (Avee C)$ is equivalent to $A$.
answered Aug 27 at 23:57
Graham Kemp
81k43275
answered Aug 27 at 23:57
Graham Kemp
81k43275
answered Aug 27 at 23:57
Graham Kemp
81k43275
answered Aug 27 at 23:57
Graham Kemp
81k43275
81k43275
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2895390%2fis-my-truth-table-for-the-formula-a-%25e2%2588%25a7-a-%25e2%2588%25a8-c-implies-c-%25e2%2588%25a8-b-correct%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
3
In a word: yes, it is.
– fleablood
Aug 26 at 19:12
2
It seems fine to me.
– Anik Bhowmick
Aug 26 at 19:14