28-Oct-2022 08:34:37

satisfy_brute_test():
  MATLAB/Octave version 4.2.2
  Test satisfy_brute().

satisfy_brute_test01():
  satisfy_brute() seeks values of logical
  variables that make a given formula true

satisfy_brute():
  We have a logical function of N logical arguments.
  We do an exhaustive search of all 2^N possibilities,
  seeking those inputs that make the function TRUE.

  The number of logical variables is N = 23
  The number of input vectors to check is 8388608

   #       Index    ---------Input Values------------------------