This is the cl-logic Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Wed Mar 15 05:05:51 2023 GMT+0.
cl-logic/cl-logic.asdcl-logic/package.lispcl-logic/cl-logic.lispcl-logic/def.lispcl-logic/dual.lispcl-logic/infix.lispcl-logic/operators.lispcl-logic/shortcuts.lispcl-logic/form.lispcl-logic/bool-structs.lispcl-logic/boolean-simplify.lispcl-logic/random-bool.lispcl-logic/combinator.lispquine-mccluskey/package.lispquine-mccluskey/quine-mccluskey.lispThe main system appears first, followed by any subsystem dependency.
cl-logicBoolean algebra package
Mikhail Klementyev <jollheef@riseup.net>
GNU GPLv3
quine-mccluskey (system).
alexandria (system).
sb-introspect (system).
copying (file).
package.lisp (file).
cl-logic.lisp (file).
def.lisp (file).
dual.lisp (file).
infix.lisp (file).
operators.lisp (file).
shortcuts.lisp (file).
form.lisp (file).
bool-structs.lisp (file).
boolean-simplify.lisp (file).
random-bool.lisp (file).
combinator.lisp (file).
quine-mccluskeyQuine-McCluskey method implementation
Ritchie Cai
Ritchie Cai
GNU GPLv3
package.lisp (file).
quine-mccluskey.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
cl-logic/cl-logic.asdcl-logic/package.lispcl-logic/cl-logic.lispcl-logic/def.lispcl-logic/dual.lispcl-logic/infix.lispcl-logic/operators.lispcl-logic/shortcuts.lispcl-logic/form.lispcl-logic/bool-structs.lispcl-logic/boolean-simplify.lispcl-logic/random-bool.lispcl-logic/combinator.lispquine-mccluskey/package.lispquine-mccluskey/quine-mccluskey.lispcl-logic/package.lispcl-logic/cl-logic.lisppackage.lisp (file).
cl-logic (system).
boolean-table (function).
equivalent (function).
general-validity-p (function).
print-chars (function).
result-vector (function).
tautology (function).
truth-table (function).
truth-table-print (function).
cl-logic/def.lisppackage.lisp (file).
cl-logic.lisp (file).
cl-logic (system).
def (macro).
def-dual-infix (macro).
def-infix (macro).
get-args (function).
get-symbols (function).
symbol-lessp (function).
cl-logic/dual.lisppackage.lisp (file).
def.lisp (file).
cl-logic (system).
dual (function).
dual-infix (function).
map-recursive (function).
cl-logic/infix.lisppackage.lisp (file).
dual.lisp (file).
cl-logic (system).
infix->prefix (function).
*separators* (special variable).
append-func (function).
infix->prefix-optimized (function).
insert-between (function).
only-two-arg (function).
prefix->infix (function).
remove-brackets (function).
separate-list (function).
separate-tree (function).
cl-logic/operators.lisppackage.lisp (file).
infix.lisp (file).
cl-logic (system).
cl-logic/shortcuts.lisppackage.lisp (file).
operators.lisp (file).
cl-logic (system).
append-to-length (function).
bool->int (function).
boolean-list->binary-str (function).
char+ (function).
gen-list (function).
int->bool (function).
int->bool-bin-list (function).
int->bool-list (function).
newline (function).
nvars (function).
strcat (function).
cl-logic/form.lisppackage.lisp (file).
shortcuts.lisp (file).
cl-logic (system).
->anf (function).
->cnf (function).
->dnf (function).
anf-conversion (function).
anf-disjuncts (function).
pcnf-conjuncts (function).
pcnf-conversion (function).
pdnf-conversion (function).
pdnf-disjuncts (function).
result-vector->anf (function).
result-vector->perfect-cnf (function).
result-vector->perfect-dnf (function).
cl-logic/bool-structs.lisppackage.lisp (file).
form.lisp (file).
cl-logic (system).
describe-boolean-cube (function).
cl-logic/boolean-simplify.lisppackage.lisp (file).
bool-structs.lisp (file).
cl-logic (system).
boolean-simplify (function).
boolean-simplify-raw (function).
boolean-simplify-vector (function).
boolean-terms (function).
convert-raw-list-to-boolean (function).
convert-raw-string-to-boolean (function).
cl-logic/random-bool.lisppackage.lisp (file).
boolean-simplify.lisp (file).
cl-logic (system).
random-bool-func (function).
cl-logic/combinator.lisppackage.lisp (file).
random-bool.lisp (file).
cl-logic (system).
all-permutations (function).
mul-perms (function).
mul-perms-assoc (function).
perms-commutativityp (function).
perms-groupp (function).
permute (function).
rand-permute (function).
quine-mccluskey/quine-mccluskey.lisppackage.lisp (file).
quine-mccluskey (system).
quine-mccluskey (function).
*mask-fn* (special variable).
*xor-fn* (special variable).
append-to (macro).
chars-gate (macro).
count-elem (function).
init-table (function).
mark (function).
mask-chars (function).
order (function).
order2 (function).
print-table (function).
print-table2 (function).
process (function).
Packages are listed by definition order.
cl-logiccommon-lisp.
infix->prefix (function).
*separators* (special variable).
->anf (function).
->cnf (function).
->dnf (function).
all-permutations (function).
anf-conversion (function).
anf-disjuncts (function).
append-func (function).
append-to-length (function).
bool->int (function).
boolean-list->binary-str (function).
boolean-simplify (function).
boolean-simplify-raw (function).
boolean-simplify-vector (function).
boolean-table (function).
boolean-terms (function).
char+ (function).
convert-raw-list-to-boolean (function).
convert-raw-string-to-boolean (function).
def (macro).
def-dual-infix (macro).
def-infix (macro).
describe-boolean-cube (function).
dual (function).
dual-infix (function).
equivalent (function).
gen-list (function).
general-validity-p (function).
get-args (function).
get-symbols (function).
help-operators (function).
infix->prefix-optimized (function).
insert-between (function).
int->bool (function).
int->bool-bin-list (function).
int->bool-list (function).
map-recursive (function).
mul-perms (function).
mul-perms-assoc (function).
newline (function).
nvars (function).
only-two-arg (function).
pcnf-conjuncts (function).
pcnf-conversion (function).
pdnf-conversion (function).
pdnf-disjuncts (function).
perms-commutativityp (function).
perms-groupp (function).
permute (function).
prefix->infix (function).
print-chars (function).
rand-permute (function).
random-bool-func (function).
remove-brackets (function).
result-vector (function).
result-vector->anf (function).
result-vector->perfect-cnf (function).
result-vector->perfect-dnf (function).
separate-list (function).
separate-tree (function).
strcat (function).
symbol-lessp (function).
tautology (function).
truth-table (function).
truth-table-print (function).
¬ (function).
↑ (function).
→ (function).
↓ (function).
∀ (function).
∃ (function).
∧ (function).
∨ (function).
∼ (function).
⊕ (function).
quine-mccluskeyqm
common-lisp.
quine-mccluskey (function).
*mask-fn* (special variable).
*xor-fn* (special variable).
append-to (macro).
chars-gate (macro).
count-elem (function).
init-table (function).
mark (function).
mask-chars (function).
order (function).
order2 (function).
print-table (function).
print-table2 (function).
process (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Операторы по убыванию приоритета.
Добавляет объект obj к списку list до длины int
Переводит из булевой формы в двоичную
Генерирует таблицу значений для nvars переменных
Возвращает следующий либо char+n символ в таблице
Генерирует список размера n из объект obj
Переходит от инфиксной записи к префиксной
Переводит из двоичной формы в булеву
Переводит число из десятичной системы в список булевых
Переход на новую строку
Количество переменных для функции
Converts a prefix expression to infix
Выводит символы в виде x, y, z dots
Reduses lists with just one item to the item itself
Возвращает вектор значений функции
Returns list of sub-sequences defined by separator
Apply separate-list on all sublists
Генерирует таблицу истинности функции
Вывод таблицы истинности для функции
Инверсия, uac
Штрих Шеффера, u2191
Импликация, u2192
Стрелка Пирса, u2193
Предикат всеобщности
Предикат существования
Конъюнкция, u2227
Дизъюнкция, u2228
Эквивалентность, u223c
Сложение по модулю 2, u2295
| Jump to: | -
¬
↑
→
↓
∀
∃
∧
∨
∼
⊕
A B C D E F G H I M N O P Q R S T |
|---|
| Jump to: | -
¬
↑
→
↓
∀
∃
∧
∨
∼
⊕
A B C D E F G H I M N O P Q R S T |
|---|
| Jump to: | *
S |
|---|
| Jump to: | *
S |
|---|
| Jump to: | B C D F I O P Q R S |
|---|
| Jump to: | B C D F I O P Q R S |
|---|