#DifferentialPropositionalCalculus • 2.6
• https://inquiryintoinquiry.com/2020/02/22/differential-propositional-calculus-2/

More information about this #Syntax for #PropositionalCalculus can be found at the following locations.

Resources —

#MinimalNegationOperators
• https://oeis.org/wiki/Minimal_negation_operator

#ZerothOrderLogic
• https://oeis.org/wiki/Zeroth_order_logic

#PropositionalForms on Two Variables
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Appendices#Table_A1