wiki_research

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

boolean_valuation (357B)

      1 # Boolean valuation
      2 
      3 A [function] mapping a set X to [Boolean] values
      4 
      5 - can be used to [evaluate] a [Boolean_function]
      6   - can be a [satisfying_valuation] of a [Boolean_function]
      7   - or a [falsifying_valuation]
      8 
      9 Up: [function], [valuation], [boolean]
     10 
     11 See also: [boolean_function]
     12 
     13 Aliases: assignment, Boolean assignment, assignments, Boolean assignments