Logika Mich: Witam, mam takie zadanie aby poniższą formułę logiczną przedstawić w postaci dysjunktywnej lub koniunktywnej normalnej niech. Szczerze nie mam pojęcia jak się za to zabrać, więc jakby ktoś mógł mi po kolei pokazać z jakiś tautologii mam skorzystać byłbym bardzo wdzięczny p,q,r to zdania logiczne (( p=>q ) =>r) => ~( (p => q) ∨ (p => r))

Mich: nic a nic?

Mich: up

a7: przykład na stronie 23 pokazuje jak to się robi krok po kroku https://ai.ia.agh.edu.pl/wiki/_media/pl:dydaktyka:logic:logika-propositional-calculus-4-8.pdf

a7: w pierwszym kroku wychodzi mi takie coś ¬(¬(¬pvq)vr) v ¬((¬pvq)v(¬pvr))