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

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

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

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]; • That works. Thanks. – Aronas Nov 11 '16 at 13:04
• @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. – Mauricio Fernández Nov 11 '16 at 13:05

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}] and

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