Saya mau tau Logika proposisional dari Sifat distributif

Dalam logika proposisional kebenaran-fungsional standar, distribusi dalam pembuktian logika menggunakan dua aturan penggantian yang valid untuk memperluas kejadian individu dari perangkai logika dalam suatu rumus ke penerapan yang terpisah dari perangkai tersebut di antara subrumus dari rumus. Aturan tersebut dinyatakan sebagai