P^P - P , P^P' - 0 , PvP' - 1, (pvq)' - p'^q', (p^q)' - p'vq', 1^r - r, ^ - ve, v - veya, ⊻ - yada, p^(q^r) - (p^q)^r, pv(qvr) - (pvq)vr, p^(qvr) - (p^q)v(p^r), pv(q^r) - (pvq)^(pvr), p'v0 - p', q'v0 - q', (p'^q)' - pvq', (pvq')' - p'^q, (pvq)^(p'vq) - q, sv0 - s, s'^1 - s',

દ્વારા

લીડરબોર્ડ

દૃશ્યમાન શૈલી

વિકલ્પો

ટેમ્પલેટ બદલો

આપોઆપ સંગ્રહ થયેલ છે: ?