Mathematica - primerjanje logičnih izjav

Kako bi z mathematico preveril, če sta dva izjavna izraza enakovredna, torej da vrneta iste vrednosti pri enakih vhodnih spremenljivkah? če enega shranimv A, drugega v B in vnesem A==B, mi vrne zgolj nov izraz. šlo bi tud, če bi obstajal kak izraz ki ti izriše pravilnostno tabelo, pa nisem z googlom nič našel

vrne isto kot A==B, torej nov izraz ki je izraz A /ekvivalentno/ izraz B

edit: sicer gre, če dam ukaz SatisfiabilityInstances[B, {p, q, r}, All] in potem na oko pregledam, če so vrednosti seznama ki ga vrne ({{True, True, False}, {True, False, True}, {False, True,
True}, {False, True, False}, {False, False, True}, {False, False,
False}}) enake kot pri A, ampak ziher more bit kaj ki to naredi avtomatsko