2

If you submit this to WA

https://www.wolframalpha.com/input/?i=%28a+and+b+and+c%29+or+%28not+a+and+not+b+and+not+c%29+or+%28not+a+and+b+and+not+c%29+or+%28a+and+not+b+and+not+c%29

and expand the Minimal Forms, it shows the Boole Normalform.

enter image description here

How is this normal form called in literature, because simply googling "Boole Normal form" is not giving me satisfying results and how to calculate this in mathematica directly?

kglr
  • 394,356
  • 18
  • 477
  • 896
booli100
  • 37
  • 1
  • See BooleanConvert, e.g., Table[{fm, BooleanConvert[(a && b && c) || (! a && ! b && ! c) || (! a && b && ! c) || (a && ! b && ! c), fm]}, {fm, {"DNF", "CNF", "AND", "OR", "NAND", "NOR", "ESOP", "ANF", "BDT", "ITE"}}] // Grid – Bob Hanlon Feb 20 '20 at 15:38
  • 1
    @BobHanlon which of these is boole, boole is also not mentioned in the documentation of https://reference.wolfram.com/language/ref/BooleanConvert.html – booli100 Feb 20 '20 at 16:56

0 Answers0