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)))))