Witam,
Mam pytanie odno¶nie funktorów logicznych: otó¿ czy s± ¶ci¶le okre¶lone jakie¶ zasady jak nale¿y zapisywaæ jeden funktor za pomoc± innych czy wystarczy, zeby po zamianie wszytsko dzia³a³o jak powinno i tyle? (np. zapisuj±æ AND za pomoc± NEGACJI i OR u¿y³em 3 negacje i 1 or-a).
Pozdrawiam TP