formuła zdaniowa kurczakMały: Formułę zdaniową (p→q)→[(p∨~q)→(p∧q)] zapisać w najprostszej postaci a następnie zapisać za pomocą kreski sheffera (funktor NAND). Generalnie wydaje mi się, że nie jest jakoś mega skomplikowane ale nie mogę dojść do wyniku.

KKrzysiek: (p→q)→[(p∨~q)→(p∧q)] ⇔ ~ (p→q)v[~(p∨~q)v(p∧q)] ⇔ ~ (~pvq)v[~(p∨~q)v(p∧q)] ⇔ (p ⋀ ~q)v[(~p⋀q)v(p∧q)] ⇔ (p ⋀ ~q)v(~p⋀q)v(p∧q)⇔ (p ⋀ ~q)v(q⋀(~pvp)⇔ (p ⋀ ~q)vq⇔ ( q v p) ⋀ (~q v q)⇔ (q v p)

KKrzysiek: te bramki to NAND ofc