Modal Theorem K.3
دیسه‌ای
◊(𝐴∨𝐵) ≡ (◊𝐴∨◊𝐵)
◊(A∨B) ≡ (◊A∨◊B)