Modal Theorem K.2
دیسه‌ای
□(𝐴∧𝐵) ≡ (□𝐴∧□𝐵)
□(A∧B) ≡ (□A∧□B)