Modal Theorem K.3 برابر انگلیک (انگلیسی): Modal Theorem K.3 دیسهای ◊(𝐴∨𝐵) ≡ (◊𝐴∨◊𝐵) ◊(A∨B) ≡ (◊A∨◊B)