Skip to main content
. 2014 Apr 17;9(4):e94644. doi: 10.1371/journal.pone.0094644

Table 4. Higher logic function of vectors Inline graphic and Inline graphic.

Type Symbol Higher logic function Logic statement
Inline graphic Inline graphic Inline graphic The value of Inline graphic is Inline graphic iff the values of both Inline graphic and Inline graphic are Inline graphic
Inline graphic Inline graphic Inline graphic The value of Inline graphic is Inline graphic iff the value of Inline graphic is Inline graphic or that of Inline graphic is Inline graphic
Inline graphic Inline graphic Inline graphic The value of Inline graphic is Inline graphic iff the value of Inline graphic or that of Inline graphic is Inline graphic
Inline graphic Inline graphic Inline graphic The value of Inline graphic is Inline graphic iff the values of both Inline graphic and Inline graphic are Inline graphic
Inline graphic Inline graphic Inline graphic The value of Inline graphic is Inline graphic iff the value of Inline graphic is Inline graphic and that of Inline graphic is Inline graphic
Inline graphic Inline graphic Inline graphic The value of Inline graphic is Inline graphic iff the value of Inline graphic is Inline graphic and that of Inline graphic is Inline graphic
Inline graphic Inline graphic Inline graphic The value of Inline graphic is Inline graphic iff the value of Inline graphic is Inline graphic or that of Inline graphic is Inline graphic
Inline graphic Inline graphic Inline graphic The value of Inline graphic is Inline graphic iff the value of Inline graphic is Inline graphic or that of Inline graphic is Inline graphic
Inline graphic Inline graphic Inline graphic The value of Inline graphic is Inline graphic iff either the value of Inline graphic or that of Inline graphic is Inline graphic
Inline graphic Inline graphic Inline graphic The value of Inline graphic is Inline graphic iff the values of both Inline graphic and Inline graphic are Inline graphic or Inline graphic

‘Inline graphic’ denotes function symbol of type Inline graphic of higher logic relationships, where Inline graphic and Inline graphic represents the sign for the higher logic relationships.