wiki_research

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

boolean_function (606B)


      1 # Boolean function
      2 
      3 - [boolean_function_problems]
      4 - [boolean_function_classes]
      5 
      6 Generalizations:
      7 
      8 - [quantified_boolean_formula]
      9 
     10 Notions:
     11 
     12 - [boolean_operator]
     13 - [implicant]
     14   - [prime_implicant]
     15 - [subfunction]
     16 - [boolean_valuation]
     17   - [satisfying_valuation]
     18   - [falsifying_valuation]
     19 - [decision_tree]
     20   - [instance_complexity]
     21   - [decision_tree_complexity]
     22 
     23 Representations:
     24 
     25 - [boolean_circuit]
     26 - [boolean_formula]
     27 
     28 Problems:
     29 
     30 - [boolean_function_evaluation]
     31   - [interactive_boolean_evaluation]
     32 
     33 Up: [theoretical_computer_science]
     34 
     35 See also: [communication_complexity]
     36 
     37 Aliases: Boolean functions