Bardzo proszę o pomoc w rozwiązaniu zadania.
123: Bardzo proszę o sprawdzenie i ewentualną pomoc w rozwiązaniu zadania.
Tutaj zdjęcie:
http://jpghost.pl/123_1349623514/
a) [~(pXORq)] <=> (p<=>q) o to chodzi?
b) w(p) = 0 − zawsze dla pXORp o to chodzi?
c)
− (pXORq) <=> (qXORp) − przemienność, o to chodzi?
− [(pXORq)XORr] <=> [(pXORr)XORq] − łączność, o to chodzi?
− [rXOR(p∧q) <=> [(rXORp) ∧ (rXORq)] − rozdz. wzgl. koniunkcji, o to chodzi?
− [rXOR(p∨q) <=> [(rXORp) ∨ (rXORq)] − rozdz. wzgl. alternatywy, o to chodzi?