Nie wiem jak zastosować metode skróconą na tym przykładzie:
¬(C∧D) →(C∧D⇔C\./ D)
to \./ jest to znak alternatywa wykluczająca
Wiem, że implikacja ma być fałszywa by udowodnić tautologię, czyli lewa strona do znaku
implikacji ma być prawdziwa , a prawa strona ma być fałszywa. I tu jest problem, bo nie wiem
czy to ⇔ czy to \./ ma być fałszywe, które prawdziwe czy może oba falszywe