wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

boolean_formulas_positive (211B)

      1 # Boolean formulas positive
      2 
      3 A [Boolean_formula] which is [positive], i.e., does not use [negation]
      4 
      5 Up: [boolean_formula]
      6 
      7 Aliases: positive Boolean formula, positive Boolean formulas, Boolean formula positive