Matematiksel mantık: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmemiş revizyon] |
İçerik silindi İçerik eklendi
k →Çok Çözülüm Teorem İspatlama: Kısaltma ve noktalama düzeltmeleri |
Etiketler: Geri alındı Görsel Düzenleyici |
||
326. satır:
Eğer X’in bütün x’leri için mC(x) = MAX[mA(x), mB(x)] ise, C, A ve B’nin birleşimidir.
Eğer X’in bütün x’leri için mC(x) = MIN[mA(x), mB(x)] ise, C, A ve B’nin
== Kaynakça ==
|