KC.3
دیسه‌ای
(𝑥+𝑦)ᶜ = 𝑥ᶜ+𝑦ᶜ
(x+y)ᶜ = xᶜ+yᶜ


تاربرگ‌های پیموده‌شده در این نشست: Logic ⟩ Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications ⟩ Non-monotonic logic ⟩ KC.1 ⟩ KC.4 ⟩ KC.2