Logical proof help needed [on hold] The Next CEO of Stack OverflowAre the following logical statements equal? Solution verificationHow to make truth tableIs this the correct way of drawing a combinatorial circuit based on the disjunctive normal form and logic table?Proof by contradiction of $Pimplies Q$?What approach would I take to this logical proof?Get DNF from Karnaugh mapExpressing identities in terms of $lnot$ and $land$Reduce Logical ExpressionHow can I convert logic expression from DNF to CNF or CNF to DNF?Use Theorem 1.1.1 below to verify the logical equivalence and supply a reason for each step?
Can I board the first leg of the flight without having final country's visa?
Is French Guiana a (hard) EU border?
What steps are necessary to read a Modern SSD in Medieval Europe?
What flight has the highest ratio of timezone difference to flight time?
Man transported from Alternate World into ours by a Neutrino Detector
It is correct to match light sources with the same color temperature?
What are the unusually-enlarged wing sections on this P-38 Lightning?
Towers in the ocean; How deep can they be built?
What is the process for purifying your home if you believe it may have been previously used for pagan worship?
Traveling with my 5 year old daughter (as the father) without the mother from Germany to Mexico
Calculate the Mean mean of two numbers
Purpose of level-shifter with same in and out voltages
Expressing the idea of having a very busy time
Is it ever safe to open a suspicious HTML file (e.g. email attachment)?
Is it okay to majorly distort historical facts while writing a fiction story?
The Ultimate Number Sequence Puzzle
Is there such a thing as a proper verb, like a proper noun?
Why don't programming languages automatically manage the synchronous/asynchronous problem?
Is it OK to decorate a log book cover?
Physiological effects of huge anime eyes
Why did early computer designers eschew integers?
Cannot shrink btrfs filesystem although there is still data and metadata space left : ERROR: unable to resize '/home': No space left on device
Could a dragon use its wings to swim?
Help/tips for a first time writer?
Logical proof help needed [on hold]
The Next CEO of Stack OverflowAre the following logical statements equal? Solution verificationHow to make truth tableIs this the correct way of drawing a combinatorial circuit based on the disjunctive normal form and logic table?Proof by contradiction of $Pimplies Q$?What approach would I take to this logical proof?Get DNF from Karnaugh mapExpressing identities in terms of $lnot$ and $land$Reduce Logical ExpressionHow can I convert logic expression from DNF to CNF or CNF to DNF?Use Theorem 1.1.1 below to verify the logical equivalence and supply a reason for each step?
$begingroup$
$beginarray forall p~ forall q ~(operatornamexor_1(p, q) to (p land lnot q) lor (lnot p land q)\
forall p~ forall q ~((p land lnot q) lor (lnot p land q) to operatornamexor_1(p, q))\
forall p ~forall q~(operatornamexor_2(p, q) to (p lor q) land (lnot p lor q))\
forall p~ forall q~ ((p lor q) land (lnot p lorlnot q) to operatornamexor_2(p, q))
\hline vdots\
forall p~forall q~(operatornamexor_1(p, q) to operatornamexor_2(p, q))
endarray$
logic
edited Mar 28 at 3:49
Graham Kemp
87.6k43578
asked Mar 28 at 3:40
Joe HarrJoe Harr
12
New contributor
Joe Harr is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
put on hold as unclear what you're asking by David, Saad, Alex Kruckman, Joel Reyes Noche, Abcd Mar 28 at 7:47
Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.
add a comment |
$begingroup$
$beginarray forall p~ forall q ~(operatornamexor_1(p, q) to (p land lnot q) lor (lnot p land q)\
forall p~ forall q ~((p land lnot q) lor (lnot p land q) to operatornamexor_1(p, q))\
forall p ~forall q~(operatornamexor_2(p, q) to (p lor q) land (lnot p lor q))\
forall p~ forall q~ ((p lor q) land (lnot p lorlnot q) to operatornamexor_2(p, q))
\hline vdots\
forall p~forall q~(operatornamexor_1(p, q) to operatornamexor_2(p, q))
endarray$
logic
edited Mar 28 at 3:49
Graham Kemp
87.6k43578
asked Mar 28 at 3:40
Joe HarrJoe Harr
12
New contributor
Joe Harr is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
put on hold as unclear what you're asking by David, Saad, Alex Kruckman, Joel Reyes Noche, Abcd Mar 28 at 7:47
Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.
$begingroup$
What is the question? Exactly what sort of help do you need?
$endgroup$
– David
Mar 28 at 3:52
$begingroup$
Please include your attempts and ideas. We cannot see what is troubling you, unless we can see what you have tried.
$endgroup$
– Graham Kemp
Mar 28 at 3:53
$begingroup$
Nevermind sirs, thank you. i made the answer correct on my own.
$endgroup$
– Joe Harr
Mar 28 at 4:06
add a comment |
$begingroup$
$beginarray forall p~ forall q ~(operatornamexor_1(p, q) to (p land lnot q) lor (lnot p land q)\
forall p~ forall q ~((p land lnot q) lor (lnot p land q) to operatornamexor_1(p, q))\
forall p ~forall q~(operatornamexor_2(p, q) to (p lor q) land (lnot p lor q))\
forall p~ forall q~ ((p lor q) land (lnot p lorlnot q) to operatornamexor_2(p, q))
\hline vdots\
forall p~forall q~(operatornamexor_1(p, q) to operatornamexor_2(p, q))
endarray$
logic
edited Mar 28 at 3:49
Graham Kemp
87.6k43578
asked Mar 28 at 3:40
Joe HarrJoe Harr
12
New contributor
Joe Harr is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
$beginarray forall p~ forall q ~(operatornamexor_1(p, q) to (p land lnot q) lor (lnot p land q)\
forall p~ forall q ~((p land lnot q) lor (lnot p land q) to operatornamexor_1(p, q))\
forall p ~forall q~(operatornamexor_2(p, q) to (p lor q) land (lnot p lor q))\
forall p~ forall q~ ((p lor q) land (lnot p lorlnot q) to operatornamexor_2(p, q))
\hline vdots\
forall p~forall q~(operatornamexor_1(p, q) to operatornamexor_2(p, q))
endarray$
logic
logic
edited Mar 28 at 3:49
Graham Kemp
87.6k43578
asked Mar 28 at 3:40
Joe HarrJoe Harr
12
New contributor
Joe Harr is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited Mar 28 at 3:49
Graham Kemp
87.6k43578
asked Mar 28 at 3:40
Joe HarrJoe Harr
12
New contributor
Joe Harr is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited Mar 28 at 3:49
Graham Kemp
87.6k43578
edited Mar 28 at 3:49
Graham Kemp
87.6k43578
edited Mar 28 at 3:49
Graham Kemp
87.6k43578
87.6k43578
asked Mar 28 at 3:40
Joe HarrJoe Harr
12
New contributor
Joe Harr is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked Mar 28 at 3:40
Joe HarrJoe Harr
12
asked Mar 28 at 3:40
Joe HarrJoe Harr
12
12
New contributor
Joe Harr is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
Joe Harr is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
Joe Harr is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
put on hold as unclear what you're asking by David, Saad, Alex Kruckman, Joel Reyes Noche, Abcd Mar 28 at 7:47
Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.
put on hold as unclear what you're asking by David, Saad, Alex Kruckman, Joel Reyes Noche, Abcd Mar 28 at 7:47
Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.
$begingroup$
What is the question? Exactly what sort of help do you need?
$endgroup$
– David
Mar 28 at 3:52
$begingroup$
Please include your attempts and ideas. We cannot see what is troubling you, unless we can see what you have tried.
$endgroup$
– Graham Kemp
Mar 28 at 3:53
$begingroup$
Nevermind sirs, thank you. i made the answer correct on my own.
$endgroup$
– Joe Harr
Mar 28 at 4:06
add a comment |
$begingroup$
What is the question? Exactly what sort of help do you need?
$endgroup$
– David
Mar 28 at 3:52
$begingroup$
Please include your attempts and ideas. We cannot see what is troubling you, unless we can see what you have tried.
$endgroup$
– Graham Kemp
Mar 28 at 3:53
$begingroup$
Nevermind sirs, thank you. i made the answer correct on my own.
$endgroup$
– Joe Harr
Mar 28 at 4:06
$begingroup$
What is the question? Exactly what sort of help do you need?
$endgroup$
– David
Mar 28 at 3:52
$begingroup$
What is the question? Exactly what sort of help do you need?
$endgroup$
– David
Mar 28 at 3:52
$begingroup$
Please include your attempts and ideas. We cannot see what is troubling you, unless we can see what you have tried.
$endgroup$
– Graham Kemp
Mar 28 at 3:53
$begingroup$
Please include your attempts and ideas. We cannot see what is troubling you, unless we can see what you have tried.
$endgroup$
– Graham Kemp
Mar 28 at 3:53
$begingroup$
Nevermind sirs, thank you. i made the answer correct on my own.
$endgroup$
– Joe Harr
Mar 28 at 4:06
$begingroup$
Nevermind sirs, thank you. i made the answer correct on my own.
$endgroup$
– Joe Harr
Mar 28 at 4:06
add a comment |
0
active
oldest
votes
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
What is the question? Exactly what sort of help do you need?
$endgroup$
– David
Mar 28 at 3:52
$begingroup$
Please include your attempts and ideas. We cannot see what is troubling you, unless we can see what you have tried.
$endgroup$
– Graham Kemp
Mar 28 at 3:53
$begingroup$
Nevermind sirs, thank you. i made the answer correct on my own.
$endgroup$
– Joe Harr
Mar 28 at 4:06