Given: not p -> [(p ^^ q)vv ~p]
Logic operators:" not p:" not p, ~ p; " and:" ^^ ; or:vv
Logic Tables, negation:
ul(|" "p|" "q|" "~p|" "~q|)
" "T|" "T|" "F|" "F|
" "T|" "F|" "F|" "T|
" "F|" "T|" "T|" "F|
" "F|" "F|" "T|" "T|
Logic Tables, and & or:
ul(|" "p|" "q|" "p^^q" "|" "qvvq" "|)
|" "T|" "T|" "T" "|" "T" "|
|" "T|" "F|" "F" "|" "T" "|
|" "F|" "T|" "F" "|" "T" "|
|" "F|" "F|" "F" "|" "F" "|
Logic Tables, if then:
ul(|" "p|" "q|" "p->q" "|)
|" "T|" "T|" "T" "|
|" "T|" "F|" "F" "|
|" "F|" "T|" "T" "|
|" "F|" "F|" "T" "|
Given Logic proposition part 1:
ul(|" "p^^q" "|" "~p" "|" "(p^^q)vv~p|)
|" "T" "|" " F " "|" "T" "|
|" "F" "|" " F " "|" "F" "|
|" "F" "|" " T " "|" "T" "|
|" "F" "|" " T " "|" "T" "|
Given Logic proposition part 2:
ul(|" "~q" "|" "(p^^q)vv~p|" "~q->(p^^q)vv~p|)
|" " F " "|" "T" "|" "T" "|
|" " T " "|" "F" "|" "F" "|
|" " F " "|" "T" "|" "T" "|
|" " T " "|" "T" "|" "T" "|
