kreska sheffera majster: Kreska Sheffera: Wiem jak wyznaczyc alterantywe i negacje, ale nie wiem jak wyznaczyc konicunkcje i implikajcę tzn.: p i q = ~~(p i q)=~(p|q) i tutaj stoję nie wiem co dalej czy to jest tak ze teraaz zmienna (p|q) zastępuje np k i mam ze ~k czyli ~(k i k) czyli k|k czyli (p|q)|(p|q) a implikację robię tak ze: p−−>q = ~(p i ~q) czyli p|(q|q)