Zadanie z logiki 2 franio: Podaj definicję formuł równoważnych i twierdzenia o równoważnośći. Korzystając z tego twierdzenia przekształć formułę. (p ∧ q) ∨ ∼r do postaci równoważnej zawierającej wyłącznie spójniki → i ∼. Przy każdym przekształceniu podaj jakiej równowartości użyto.

ite: całkiem prosto wychodzi (p ⇒ ∼q) ⇒ ∼r i też logika prawnicza