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