(c ^ ¬d) ^ (c => ¬a) ^ (d ^ ¬b) <=> (c ^ ¬d) ^ (¬c ∨ ¬a) ^ (d ^ ¬b) //Equiv. Import "condicional" (c => ¬a)
(c ^ ¬d) ^ (c => ¬a) ^ (d ^ ¬b) <=> c ^ (¬d ^ ¬c ∨) ¬a ^ (d ^ ¬b) //Asociativa
(c ^ ¬d) ^ (c => ¬a) ^ (d ^ ¬b) <=> (¬d ∨) ¬a ^ (d ^ ¬b) //Absorcion c ^ (¬d ^ ¬c ∨)
(c ^ ¬d) ^ (c => ¬a) ^ (d ^ ¬b) <=> (¬d ∨ ¬a ^ (d ^ ¬b)
esto esta correcto hasta ahora?
como podria pro seguir?
comprendo los patrones de cada composición pero por ej. puedo aplicar subsuncion o subyunsión en (¬d ∨ ¬a ^ (d ^ ¬b) ?
quedaria (d ∨ ¬a ^ ¬b)
'