pafcio1: Hej
Takie zadania są trudne bo jest to plątanina, ale da się zrobić.
Jak czytasz to od lewej to Duża litera to spójnik logiczny, który będzie wykonany na samym
końcu
tutaj masz negacje czyli będzie negacja czego no implikacji implikacja ma poprzednik i
następnik no to określają poprzednik
, że jest to alternatywa itd.
Według mnie powinno być tak, aczkolwiek ręki sobie za to nie dam uciąć no bo to jest straszne
takie coś robić
~{[<p=>s>⋁<(p⋁q)⋀(p⋁∼p)>]=>[(p=>s)=>(<∼p<=>g>⋁s)]}
tutaj oczywiście jak masz ({[< to to są nawiasy, łatwiej jak dasz różne nawiasy