logika Pablo: Witam, mogłby mi ktos wyjasnic sens logiczny tego wyrazenia? : ~(p⇒q)⇔(p∧~q)

Pytający: Implikacja (p⇒q) jest fałszywa wtedy i tylko wtedy, gdy poprzednik (p) jest prawdziwy i następnik (q) jest fałszywy.

Pablo: Dziękuję A w jaki sposób można dowieść prawdziwości tej relacji?

konrad: robią tablicę prawdy

konrad: *robiąc