Hi everyone,
Could someone please help me on this proof?
Find a statement form, S, equivalent to -(P V Q) and show that it is logically equivalent by constructing the truth table for "S if and only if -(P V Q)" and showing that this statment form is a tautology.
My attempt:
A tautology for -(P V Q) is -P^-Q and a tautology for -P V -Q is -(P ^ Q)
P Q -P ^-Q -P ^-Q
T T I'm not sure what the last two columns would be. Could someone please explain it to me?
T F
F T
F F
The statement would be "If and only if she gets good grades she can go to the movies
Thank you very much