სამმნიშვნელობიანი ლოგიკა: განსხვავება გადახედვებს შორის

* <math>\neg (A \and \neg \textbf I A \land \neg A)</math> (გაფართოვებული წინააღმდეგობრივობის პრინციპი)

=== ბოჩვარის ლოგიკა ===

* <math>\neg A = (A+1) \mod 3</math>, ან

* <math>\neg A = (A+1) \mod (n)</math>, სადაც (n) ლოგიკის მნიშვნელობაა