Logicmedium
0:00.0

Which law allows Pland(QlorR)equiv(PlandQ)lor(PlandR)P \\land (Q \\lor R) \\equiv (P \\land Q) \\lor (P \\land R)?