logika notacja polska
b: logika notacja Zamien notacje polska na notacje tradycyjna
EKpAqrAKpqKpr
A − alternatywa
K − koniunkcja
N − negacja
E−równowazność
C− Implikacja
p,q,s − zmienne
14 paź 21:45
Adamm: (p∧(q∨r))⇔(p∧q)∨(p∧r)
nie jestem pewien czy tak to miało być
14 paź 21:57
Saizou :
jest OK
możemy jeszcze opuścić nawiasy
p∧(q∨r) ⇔ (p∧q) ∨ (p∧r)
bo przyjmuje się ze koniunkcja i alternatywa wiąże mocniej niż implikacja i równoważność
14 paź 22:18
jc: Chyba tak samo
((pKq)K(pK(Nq)))A((Np)Kq)A((Np)K(Nq))
14 paź 22:22