Logichard
0:00.0

A binary logical connective \star is called 'commutative' if PQQPP \star Q \equiv Q \star P for all P,QP, Q, and 'associative' if P(QR)(PQ)RP \star (Q \star R) \equiv (P \star Q) \star R for all P,Q,RP, Q, R. How many of the 16 possible binary logical connectives are both commutative and associative?