真理値表:
P-----------Q-----------XOR-----------IMPLIES-----------IFF
T--------T--------------F-------T------ ----------T
T--------F--------------T----F------ ----------F
F-----------T--------------T-------T------ ----------F
F-----------F--------------F----T------ ----------T
and,or,not 演算子のみを使用して XOR、IMPLIES、IFF を計算する方法を知りたいです。たとえば、XOR は - " ( p || Q ) && ! ( a && b ) " とします。