Logicmedium
0:00.0

Which law allows (PlandQ)landRequivPland(QlandR)(P \\land Q) \\land R \\equiv P \\land (Q \\land R)?