This is the cl-logic Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Mon Aug 15 03:47:55 2022 GMT+0.
Next: Files, Previous: The cl-logic Reference Manual, Up: The cl-logic Reference Manual [Contents][Index]
The main system appears first, followed by any subsystem dependency.
Next: quine-mccluskey, Previous: Systems, Up: Systems [Contents][Index]
Boolean algebra package
Mikhail Klementyev <jollheef@riseup.net>
GNU GPLv3
Quine-McCluskey method implementation
Ritchie Cai
Ritchie Cai
GNU GPLv3
Next: Packages, Previous: Systems, Up: The cl-logic Reference Manual [Contents][Index]
Files are sorted by type and then listed depth-first from the systems components trees.
Next: cl-logic/package.lisp, Previous: Lisp, Up: Lisp [Contents][Index]
cl-logic (system).
Next: cl-logic/cl-logic.lisp, Previous: cl-logic/cl-logic.asd, Up: Lisp [Contents][Index]
Next: cl-logic/def.lisp, Previous: cl-logic/package.lisp, Up: Lisp [Contents][Index]
package.lisp (file).
cl-logic (system).
Next: cl-logic/dual.lisp, Previous: cl-logic/cl-logic.lisp, Up: Lisp [Contents][Index]
cl-logic (system).
Next: cl-logic/infix.lisp, Previous: cl-logic/def.lisp, Up: Lisp [Contents][Index]
cl-logic (system).
Next: cl-logic/operators.lisp, Previous: cl-logic/dual.lisp, Up: Lisp [Contents][Index]
cl-logic (system).
infix->prefix (function).
Next: cl-logic/shortcuts.lisp, Previous: cl-logic/infix.lisp, Up: Lisp [Contents][Index]
cl-logic (system).
Next: cl-logic/form.lisp, Previous: cl-logic/operators.lisp, Up: Lisp [Contents][Index]
cl-logic (system).
Next: cl-logic/bool-structs.lisp, Previous: cl-logic/shortcuts.lisp, Up: Lisp [Contents][Index]
cl-logic (system).
Next: cl-logic/boolean-simplify.lisp, Previous: cl-logic/form.lisp, Up: Lisp [Contents][Index]
cl-logic (system).
describe-boolean-cube (function).
Next: cl-logic/random-bool.lisp, Previous: cl-logic/bool-structs.lisp, Up: Lisp [Contents][Index]
cl-logic (system).
Next: cl-logic/combinator.lisp, Previous: cl-logic/boolean-simplify.lisp, Up: Lisp [Contents][Index]
cl-logic (system).
random-bool-func (function).
Next: quine-mccluskey/package.lisp, Previous: cl-logic/random-bool.lisp, Up: Lisp [Contents][Index]
cl-logic (system).
Next: quine-mccluskey/quine-mccluskey.lisp, Previous: cl-logic/combinator.lisp, Up: Lisp [Contents][Index]
quine-mccluskey (system).
Previous: quine-mccluskey/package.lisp, Up: Lisp [Contents][Index]
package.lisp (file).
quine-mccluskey (system).
quine-mccluskey (function).
Next: Definitions, Previous: Files, Up: The cl-logic Reference Manual [Contents][Index]
Packages are listed by definition order.
Next: quine-mccluskey, Previous: Packages, Up: Packages [Contents][Index]
common-lisp.
infix->prefix (function).
qm
common-lisp.
quine-mccluskey (function).
Next: Indexes, Previous: Packages, Up: The cl-logic Reference Manual [Contents][Index]
Definitions are sorted by export status, category, package, and then by lexicographic order.
Next: Internals, Previous: Definitions, Up: Definitions [Contents][Index]
Previous: Public Interface, Up: Public Interface [Contents][Index]
Previous: Public Interface, Up: Definitions [Contents][Index]
Операторы по убыванию приоритета.
Next: Ordinary functions, Previous: Special variables, Up: Internals [Contents][Index]
Добавляет объект 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
Previous: Definitions, Up: The cl-logic Reference Manual [Contents][Index]
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 |
---|
Next: Data types, Previous: Functions, Up: Indexes [Contents][Index]
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 |
---|