TruthTable


TruthTable function for Wolfram Mathematica


 (* Import the package *)
 Needs["TruthTable`", "https://raw.githubusercontent.com/jmcl0028-afk/TruthTable/master/TruthTable.wl"];

 TruthTable[(p && q) \[Equivalent] (\[Not] ((\[Not] p) || (\[Not] q))), {p, q}]