favouromonzejele favouromonzejele 09-11-2021 Mathematics contestada construct a truth that shows (~Pv~Q)→(P^~Q)