Page "First-order logic" Paragraph 36
from
Wikipedia
* Sometimes additional logical connectives are included, such as the Sheffer stroke, Dpq ( NAND ), and exclusive or, Jpq.
Page 1 of 1.
2.336 seconds.