pytanie dot logiki logiccc: Czy w logice mogę dokonywać takich praktyk jak powiedzmy: Mam przykład XeA ∧ (X−e−B ∧ X−e−C) i czy teraz to mogę swobodnie zamienić na (XeA ∧ X−e−B) ∧ (XeA ∧ X−e−C) (A/B) ∩ (A/C)

Pan Kalafior: Tak Dla ∧ mamy 1. Łączność p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r 2. Przemienność p ∧ q ≡ q ∧ p 3. Idempotentność p ∧ p ≡ p Te 3 własności pozwalają nam opuszczać wszelke nawiasy, przemieniać swobodnie wyrazy, i duplikować je.

logiccc: Dziękuje.