Rudy’s OBTF Rudolf Adamkovič

Home / Logic / Truth table / Implementation / Function scheme/org-truth-table


Implement

Builds on scheme/truth-table.

Note. HEADERS are expected in LaTeX format.

<<scheme/truth-table>>
(define (org-truth-table procedure headers)
  (append (list (map (lambda (header)
                       (string-append "\\(" header "\\)"))
                     headers))
          (list (list))
          (list (append (list "/")
                        (make-list (- (length headers) 2) "")
                        (list "<")))
          (map (lambda (row)
                 (map (lambda (value)
                        (if value
                            "true"
                            "false"))
                      row))
               (truth-table procedure
                            (- (length headers)
                               1)))))

© 2025 Rudolf Adamkovič under GNU General Public License (GPL) version 3 or later.
Made with Emacs and secret alien technologies of yesteryear.