logika, KPN, konunkcyjna postać normalna matrioszka: Przedstaw w koniunkcyjnej postaci normalnej: [¬ (¬s→q) ↔ (p∧r) ] → [ (p∧q) v (r→q) ] Pomoże ktoś? proszę o prawidlowy wynik, bo ne wiem czy mój jest poprawny (najpierw chyba usuwamy implikację... a potem tp się już zacinam. Gość na wykładzie robił u nas jakieś dziwne tabelki, niby jest jakiaś łatwiejsza metoda, ale ja wolę tą łoptaologiczzną proszę o pomoc raz jeszze

matrioszka: podbijam

matrioszka: podbijam raz jeszcze