Tautologie Mark: Prosba serdeczna, jak do tego sie zabrać? Czy ktoś z Was mogłby pomóc? ~ [ ~ (p ∧ r) → ~q ] ↔ ~ [ ~ (p → ~ r) ↔ q] ~ [ ~ ( p ∧ ~ q ) ⊕ ~ ( p → q ) ] → ( s ∧ ~ r ) ~ [ ( p → ~ r ) ∨ ( r ∧ q ) ] ↔ ( ~ r ∧ p ) [ ~ ( ~ p ∧ ~ q ) ∧ ~ ( r ∧ q ) ] → ~ [ ~ ( ~ p → ~ q ) ∨ ~ ( r → ~ q ) ] ~ [ ~ (p → ~ r) ↔ q] ↔ ~ [ ~ (p ∧ r) → ~q ] ~ [ ~ (p → q) ⊕ ~ (p ∧ ~ q) ] → ( ~s ∧ r )

iteRacj@: ~ [ ~ (p ∧ r) → ~q ] ↔ ~ [ ~ (p → ~ r) ↔ q] [ ~ (p ∧ r) → ~q ] ↔ [ (p ∧ (~~r)) ↔ q] [q → (p ∧ r) ] ↔ [(p ∧ r) ↔ q] albo mam błąd albo to nie jest tautologia