【文件属性】：
文件名称：truth-tables:“不是厨师”——品质真值表生成器
文件大小：3KB
文件格式：ZIP
更新时间：2021-06-29 02:05:19
CommonLisp
真值表
真值表用于从逻辑命题生成真值表。 命题由命题变量（非保留的 Lisp 符号）或复合形式（以符号and , or , xor , -> , , <-> , not and 包含命题变量和其他复合形式的列表）组成。
and和or是可变参数， not , -> , <->和xor具有通常的参数。
例如，运行
(print-truth-table '( xor (- > p q) ( and p ( not q))))
产生
P | Q | (NOT Q) | (AND P (NOT Q)) | (- > P Q) | (XOR (- > P Q) (AND P (NOT Q)))
T | T | F | F | T | T
T | F | T |
【文件预览】：
truth-tables-master
----.gitattributes(483B)
----README.org(1KB)
----truth-tables.org(1020B)
----truth-tables.lisp(2KB)
----.gitignore(606B)