I have this assignment that requires me to turn a premise statement into code. The idea is that i need to print out the truth table for a premise statement. This is the premise: (((P v Q) ^ (Q -> R)) XOR (P v R)) <-> (R ^ Q)
I can create a manual Truth table Truth Table for the above premise
I just dont understand how to transform that into code? How would i approach that using the typical basic libraries such as iostream, string, math, etc. I can't utilize anything else like vectors, sets, etc.
You don't have to write literal code but perhaps some pseudocode might help or even justs tips.
I understand that "^" is &&, "v" is ||, "->" is "if-else" but i'm not sure about "<->" and "XOR" or simply how to put that in code.
Thanks in advance.
UPDATE: As per the assistance of my fellow stackoverflow peers, we've managed to obtain the literal meaning of each logical operator statement into a c++ approach.
(P v Q) = P OR Q = (P || Q)
(P ^ Q) = P AND Q = (P && Q)
(P XOR Q) = P ^ Q = (P ^ Q)
(P -> Q) = if P then Q = (!P || Q)
(p <-> Q) = Only If P then Q = !(P ^ Q)
You can (and should) use Boolean variables: