Page "Propositional calculus" Paragraph 47
from
Wikipedia
: A frequently adopted convention treats the constant logical values as operators of arity zero, thus:
Page 1 of 1.
1.824 seconds.