wiki_research

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

equisatisfiability (266B)

      1 # Equisatisfiability
      2 
      3 https://en.wikipedia.org/wiki/Equisatisfiability
      4 
      5 Two [logic_formulas] f and f' are equisatisfiable if f being satisfiable is [equivalent] to f' being satisfiable
      6 
      7 Up: [satisfiability]
      8 
      9 Aliases: equisatisfiable
     10 
     11 See also: [equivalence_problem]