Proofs! Don't you love em? I hate them, personally. If you don't know what proofs are, they're the damned things you try to prove using truth tables and by symbolic deriviation....
EUGH!
OK, so here's the problems:
write the truth table for (P *exclusive or* Q) or Q
will set as (A) for truth table --^
_P_|_Q_|_(P *exclusive or* Q)_|_A or Q_|
T | T............
T | F............
F | T.............
F | F.............
forgot what exclusive or does... lol
EUGH!
OK, so here's the problems:
write the truth table for (P *exclusive or* Q) or Q
will set as (A) for truth table --^
_P_|_Q_|_(P *exclusive or* Q)_|_A or Q_|
T | T............
T | F............
F | T.............
F | F.............
forgot what exclusive or does... lol