Re: poprawka

neuroleptyk:

>

> 1.(A \/ B) /\ D -> (G /\ R)

> 2.C -> A

> 3.R -> Z

> 4.(F /\ C)

> 5.D

No, ale po co to poprawiasz? To jest pozornie bardziej skomplikowane (bo 8 zmiennych zamiast 7), ale dowód jest nadal ten sam…

– Stefan