قوانین هم ارزهای منطقی