0
$\begingroup$

How to create BooleanTables in Mathematica for $A \not \Rightarrow B$ and $A \Leftrightarrow B$ ?

$\endgroup$

closed as off-topic by bbgodfrey, Feyre, Yves Klett, MarcoB, m_goldberg Nov 11 '16 at 15:41

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question arises due to a simple mistake such as a trivial syntax error, incorrect capitalization, spelling mistake, or other typographical error and is unlikely to help any future visitors, or else it is easily found in the documentation." – bbgodfrey, Feyre, Yves Klett, MarcoB
If this question can be reworded to fit the rules in the help center, please edit the question.

  • 2
    $\begingroup$ Take a look at the functions Implies, Not and Equivalent. You can then create a simple table with Table $\endgroup$ – Mauricio Fernández Nov 11 '16 at 12:47
  • $\begingroup$ You may find this answer useful. $\endgroup$ – m_goldberg Nov 11 '16 at 15:39
  • $\begingroup$ Possible duplicate of Creating truth tables $\endgroup$ – m_goldberg Nov 11 '16 at 15:41
1
$\begingroup$

Is this what you are looking for?

head = {{"A", "B", "A does not imply B"}};
tab = Flatten[
      Table[{A, B, Not[Implies[A, B]]}, {A, {True, False}}, {B, {True, False}}]
      , 1];
Join[head, tab] // TableForm

enter image description here

$\endgroup$
  • $\begingroup$ That works. Thanks. $\endgroup$ – Aronas Nov 11 '16 at 13:04
  • $\begingroup$ @Aronas you are welcome :D since you are new, dont forget to accept an answer if it solved your problem. That is important for everybody who might need this at some point. $\endgroup$ – Mauricio Fernández Nov 11 '16 at 13:05
0
$\begingroup$

You can construct the truth tables with

Labeled[#, "Table of ¬⇒", Top] &@
   TableForm[#, TableHeadings -> Boole@{{True, False}, {True, False}}] &@
 Outer[Boole@Not@Implies[#1, #2] &, {True, False}, {True, False}]

enter image description here

and

Labeled[#, "Table of ⇔", Top] &@
   TableForm[#, 
    TableHeadings -> Boole@{{True, False}, {True, False}}] &@
 Outer[Boole@Equivalent[#1, #2] &, {True, False}, {True, False}]

enter image description here

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.