The cl-logic Reference Manual

1 Systems
- 1.1 cl-logic
- 1.2 quine-mccluskey
2 Files
- 2.1 Lisp
- 2.2 Other
  - 2.2.1 cl-logic/COPYING
3 Packages
- 3.1 quine-mccluskey
- 3.2 cl-logic
4 Definitions
- 4.1 Exported definitions
  - 4.1.1 Functions
- 4.2 Internal definitions
Appendix A Indexes

The cl-logic Reference Manual

This is the cl-logic Reference Manual, generated automatically by Declt version 2.4 "Will Decker" on Wed Jun 20 11:13:58 2018 GMT+0.

1 Systems

The main system appears first, followed by any subsystem dependency.

1.1 `cl-logic`

Author

Mikhail Klementyev <jollheef@riseup.net>

License

GNU GPLv3

Description

Boolean algebra package

Dependencies

quine-mccluskey (system)
alexandria
sb-introspect

Source

cl-logic.asd (file)

Components

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)

1.2 `quine-mccluskey`

Maintainer

Ritchie Cai

Author

Ritchie Cai

Description

Quine-McCluskey method implementation

Source

cl-logic.asd (file)

Components

package.lisp (file)
quine-mccluskey.lisp (file)

2 Files

Files are sorted by type and then listed depth-first from the systems components trees.

2.1 Lisp

2.1.1 `cl-logic.asd`

Location

cl-logic.asd

Systems

cl-logic (system)
quine-mccluskey (system)

2.1.2 `cl-logic/package.lisp`

Dependency

copying (file)

Parent

cl-logic (system)

Location

package.lisp

Packages

quine-mccluskey
cl-logic

2.1.3 `cl-logic/cl-logic.lisp`

Dependencies

package.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

cl-logic.lisp

Internal Definitions

boolean-table (function)
equivalent (function)
general-validity-p (function)
print-chars (function)
result-vector (function)
tautology (function)
truth-table (function)
truth-table-print (function)

2.1.4 `cl-logic/def.lisp`

Dependencies

cl-logic.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

def.lisp

Internal Definitions

def (macro)
def-dual-infix (macro)
def-infix (macro)
get-args (function)
get-symbols (function)
symbol-lessp (function)

2.1.5 `cl-logic/dual.lisp`

Dependencies

def.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

dual.lisp

Internal Definitions

dual (function)
dual-infix (function)
map-recursive (function)

2.1.6 `cl-logic/infix.lisp`

Dependencies

dual.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

infix.lisp

Exported Definitions

infix->prefix (function)

Internal Definitions

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

2.1.7 `cl-logic/operators.lisp`

Dependencies

infix.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

operators.lisp

Internal Definitions

help-operators (function)
¬ (function)
↑ (function)
→ (function)
↓ (function)
∀ (function)
∃ (function)
∧ (function)
∨ (function)
∼ (function)
⊕ (function)

2.1.8 `cl-logic/shortcuts.lisp`

Dependencies

operators.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

shortcuts.lisp

Internal Definitions

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)

2.1.9 `cl-logic/form.lisp`

Dependencies

shortcuts.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

form.lisp

Internal Definitions

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

2.1.10 `cl-logic/bool-structs.lisp`

Dependencies

form.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

bool-structs.lisp

Internal Definitions

describe-boolean-cube (function)

2.1.11 `cl-logic/boolean-simplify.lisp`

Dependencies

bool-structs.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

boolean-simplify.lisp

Internal Definitions

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)

2.1.12 `cl-logic/random-bool.lisp`

Dependencies

boolean-simplify.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

random-bool.lisp

Internal Definitions

random-bool-func (function)

2.1.13 `cl-logic/combinator.lisp`

Dependencies

random-bool.lisp (file)
package.lisp (file)

Parent

cl-logic (system)

Location

combinator.lisp

Internal Definitions

all-permutations (function)
mul-perms (function)
mul-perms-assoc (function)
perms-commutativityp (function)
perms-groupp (function)
permute (function)
rand-permute (function)

2.1.14 `quine-mccluskey/package.lisp`

Parent

quine-mccluskey (system)

Location

package.lisp

Packages

quine-mccluskey
cl-logic

2.1.15 `quine-mccluskey/quine-mccluskey.lisp`

Dependency

package.lisp (file)

Parent

quine-mccluskey (system)

Location

quine-mccluskey.lisp

Exported Definitions

quine-mccluskey (function)

Internal Definitions

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

2.2 Other

2.2.1 `cl-logic/COPYING`

Parent: cl-logic (system)
Location: COPYING

3 Packages

Packages are listed by definition order.

3.1 `quine-mccluskey`

Source

package.lisp (file)

Nickname

qm

Use List

common-lisp

Exported Definitions

quine-mccluskey (function)

Internal Definitions

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

3.2 `cl-logic`

Source

package.lisp (file)

Use List

common-lisp

Exported Definitions

infix->prefix (function)

Internal Definitions

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

4 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.

4.1 Exported definitions

4.1.1 Functions

Function: infix->prefix INFIX-EXPR &optional SEPARATORS TEST

Package: cl-logic
Source: infix.lisp (file)

Function: quine-mccluskey SAMPLE-STR MINTERMS &key PRINT-FN

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

4.2 Internal definitions

4.2.1 Special variables

Special Variable: *mask-fn*

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Special Variable: *separators*

Операторы по убыванию приоритета.

Package: cl-logic
Source: infix.lisp (file)

Special Variable: *xor-fn*

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

4.2.2 Macros

Macro: append-to ENTRY &key LIST

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Macro: chars-gate &key INPUTS TABLE

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Macro: def NAME BODY

Package: cl-logic
Source: def.lisp (file)

Macro: def-dual-infix NAME BODY

Package: cl-logic
Source: def.lisp (file)

Macro: def-infix NAME BODY

Package: cl-logic
Source: def.lisp (file)

4.2.3 Functions

Function: ->anf FUNC

Package: cl-logic
Source: form.lisp (file)

Function: ->cnf FUNC

Package: cl-logic
Source: form.lisp (file)

Function: ->dnf FUNC

Package: cl-logic
Source: form.lisp (file)

Function: all-permutations LST &optional REMAIN

Package: cl-logic
Source: combinator.lisp (file)

Function: anf-conversion LIST

Package: cl-logic
Source: form.lisp (file)

Function: anf-disjuncts VECTOR

Package: cl-logic
Source: form.lisp (file)

Function: append-func FUNC LIST

Package: cl-logic
Source: infix.lisp (file)

Function: append-to-length LIST INT OBJ

Добавляет объект obj к списку list до длины int

Package: cl-logic
Source: shortcuts.lisp (file)

Function: bool->int BOOL

Переводит из булевой формы в двоичную

Package: cl-logic
Source: shortcuts.lisp (file)

Function: boolean-list->binary-str LIST

Package: cl-logic
Source: shortcuts.lisp (file)

Function: boolean-simplify FUNCTION

Package: cl-logic
Source: boolean-simplify.lisp (file)

Function: boolean-simplify-raw RESULT-VECTOR

Package: cl-logic
Source: boolean-simplify.lisp (file)

Function: boolean-simplify-vector VECTOR

Package: cl-logic
Source: boolean-simplify.lisp (file)

Function: boolean-table NVARS

Генерирует таблицу значений для nvars переменных

Package: cl-logic
Source: cl-logic.lisp (file)

Function: boolean-terms VECTOR

Package: cl-logic
Source: boolean-simplify.lisp (file)

Function: char+ CHAR &optional N

Возвращает следующий либо char+n символ в таблице

Package: cl-logic
Source: shortcuts.lisp (file)

Function: convert-raw-list-to-boolean RAW-LIST

Package: cl-logic
Source: boolean-simplify.lisp (file)

Function: convert-raw-string-to-boolean RAW-STRING

Package: cl-logic
Source: boolean-simplify.lisp (file)

Function: count-elem LST E

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Function: describe-boolean-cube N

Package: cl-logic
Source: bool-structs.lisp (file)

Function: dual LISTFUNC

Package: cl-logic
Source: dual.lisp (file)

Function: dual-infix LISTFUNC

Package: cl-logic
Source: dual.lisp (file)

Function: equivalent FUNCTIONS

Package: cl-logic
Source: cl-logic.lisp (file)

Function: gen-list OBJ N

Генерирует список размера n из объект obj

Package: cl-logic
Source: shortcuts.lisp (file)

Function: general-validity-p FUNCTION

Package: cl-logic
Source: cl-logic.lisp (file)

Function: get-args LIST

Package: cl-logic
Source: def.lisp (file)

Function: get-symbols LIST

Package: cl-logic
Source: def.lisp (file)

Function: help-operators ()

Package: cl-logic
Source: operators.lisp (file)

Function: infix->prefix-optimized INFIX-EXPR &optional SEPARATORS TEST

Переходит от инфиксной записи к префиксной

Package: cl-logic
Source: infix.lisp (file)

Function: init-table TERM-LIST BIN-STR-FMT &key PRINT-FN

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Function: insert-between LST SEP

Package: cl-logic
Source: infix.lisp (file)

Function: int->bool CHAR

Переводит из двоичной формы в булеву

Package: cl-logic
Source: shortcuts.lisp (file)

Function: int->bool-bin-list N

Package: cl-logic
Source: shortcuts.lisp (file)

Function: int->bool-list INT

Переводит число из десятичной системы в список булевых

Package: cl-logic
Source: shortcuts.lisp (file)

Function: map-recursive FUNC LIST

Package: cl-logic
Source: dual.lisp (file)

Function: mark K1-LIST K2-LIST

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Function: mask-chars STR MASK

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Function: mul-perms FLIST SLIST

Package: cl-logic
Source: combinator.lisp (file)

Function: mul-perms-assoc ZLIST VAR

Package: cl-logic
Source: combinator.lisp (file)

Function: newline ()

Переход на новую строку

Package: cl-logic
Source: shortcuts.lisp (file)

Function: nvars FUNCTION

Количество переменных для функции

Package: cl-logic
Source: shortcuts.lisp (file)

Function: only-two-arg PREFIX-EXPRESSION

Package: cl-logic
Source: infix.lisp (file)

Function: order LST

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Function: order2 LST

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Function: pcnf-conjuncts VECTOR

Package: cl-logic
Source: form.lisp (file)

Function: pcnf-conversion LIST

Package: cl-logic
Source: form.lisp (file)

Function: pdnf-conversion LIST

Package: cl-logic
Source: form.lisp (file)

Function: pdnf-disjuncts VECTOR

Package: cl-logic
Source: form.lisp (file)

Function: perms-commutativityp F S

Package: cl-logic
Source: combinator.lisp (file)

Function: perms-groupp LIST

Package: cl-logic
Source: combinator.lisp (file)

Function: permute N

Package: cl-logic
Source: combinator.lisp (file)

Function: prefix->infix PREFIX-EXPR &optional SEPARATORS TEST

Converts a prefix expression to infix

Package: cl-logic
Source: infix.lisp (file)

Function: print-chars N

Выводит символы в виде x, y, z dots

Package: cl-logic
Source: cl-logic.lisp (file)

Function: print-table TABLE

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Function: print-table2 TABLE

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Function: process TABLE &key PRINT-FN

Package: quine-mccluskey
Source: quine-mccluskey.lisp (file)

Function: rand-permute N

Package: cl-logic
Source: combinator.lisp (file)

Function: random-bool-func NVARS &optional FORM

Package: cl-logic
Source: random-bool.lisp (file)

Function: remove-brackets LST

Reduses lists with just one item to the item itself

Package: cl-logic
Source: infix.lisp (file)

Function: result-vector FUNCTION

Возвращает вектор значений функции

Package: cl-logic
Source: cl-logic.lisp (file)

Function: result-vector->anf VECTOR

Package: cl-logic
Source: form.lisp (file)

Function: result-vector->perfect-cnf VECTOR

Package: cl-logic
Source: form.lisp (file)

Function: result-vector->perfect-dnf VECTOR

Package: cl-logic
Source: form.lisp (file)

Function: separate-list LST SEPARATOR TEST

Returns list of sub-sequences defined by separator

Package: cl-logic
Source: infix.lisp (file)

Function: separate-tree LST SEPARATOR TEST

Apply separate-list on all sublists

Package: cl-logic
Source: infix.lisp (file)

Function: strcat &rest STRINGS

Package: cl-logic
Source: shortcuts.lisp (file)

Function: symbol-lessp SYMBOL1 SYMBOL2

Package: cl-logic
Source: def.lisp (file)

Function: tautology FUNCTIONS

Package: cl-logic
Source: cl-logic.lisp (file)

Function: truth-table FUNCTION

Генерирует таблицу истинности функции

Package: cl-logic
Source: cl-logic.lisp (file)

Function: truth-table-print FUNCTION

Вывод таблицы истинности для функции

Package: cl-logic
Source: cl-logic.lisp (file)

Function: ¬ P

Инверсия, uac

Package: cl-logic
Source: operators.lisp (file)

Function: ↑ P Q

Штрих Шеффера, u2191

Package: cl-logic
Source: operators.lisp (file)

Function: → P Q

Импликация, u2192

Package: cl-logic
Source: operators.lisp (file)

Function: ↓ P Q

Стрелка Пирса, u2193

Package: cl-logic
Source: operators.lisp (file)

Function: ∀ P LIST

Предикат всеобщности

Package: cl-logic
Source: operators.lisp (file)

Function: ∃ P LIST

Предикат существования

Package: cl-logic
Source: operators.lisp (file)

Function: ∧ P Q

Конъюнкция, u2227

Package: cl-logic
Source: operators.lisp (file)

Function: ∨ P Q

Дизъюнкция, u2228

Package: cl-logic
Source: operators.lisp (file)

Function: ∼ P Q

Эквивалентность, u223c

Package: cl-logic
Source: operators.lisp (file)

Function: ⊕ P Q

Сложение по модулю 2, u2295

Package: cl-logic
Source: operators.lisp (file)

Appendix A Indexes

A.1 Concepts

Jump to:	C F L O Q

	Index Entry	Section

C
	`cl-logic.asd`:	The cl-logic<dot>asd file
	`cl-logic/bool-structs.lisp`:	The cl-logic/bool-structs<dot>lisp file
	`cl-logic/boolean-simplify.lisp`:	The cl-logic/boolean-simplify<dot>lisp file
	`cl-logic/cl-logic.lisp`:	The cl-logic/cl-logic<dot>lisp file
	`cl-logic/combinator.lisp`:	The cl-logic/combinator<dot>lisp file
	`cl-logic/COPYING`:	The cl-logic/copying file
	`cl-logic/def.lisp`:	The cl-logic/def<dot>lisp file
	`cl-logic/dual.lisp`:	The cl-logic/dual<dot>lisp file
	`cl-logic/form.lisp`:	The cl-logic/form<dot>lisp file
	`cl-logic/infix.lisp`:	The cl-logic/infix<dot>lisp file
	`cl-logic/operators.lisp`:	The cl-logic/operators<dot>lisp file
	`cl-logic/package.lisp`:	The cl-logic/package<dot>lisp file
	`cl-logic/random-bool.lisp`:	The cl-logic/random-bool<dot>lisp file
	`cl-logic/shortcuts.lisp`:	The cl-logic/shortcuts<dot>lisp file

F
	File, Lisp, `cl-logic.asd`:	The cl-logic<dot>asd file
	File, Lisp, `cl-logic/bool-structs.lisp`:	The cl-logic/bool-structs<dot>lisp file
	File, Lisp, `cl-logic/boolean-simplify.lisp`:	The cl-logic/boolean-simplify<dot>lisp file
	File, Lisp, `cl-logic/cl-logic.lisp`:	The cl-logic/cl-logic<dot>lisp file
	File, Lisp, `cl-logic/combinator.lisp`:	The cl-logic/combinator<dot>lisp file
	File, Lisp, `cl-logic/def.lisp`:	The cl-logic/def<dot>lisp file
	File, Lisp, `cl-logic/dual.lisp`:	The cl-logic/dual<dot>lisp file
	File, Lisp, `cl-logic/form.lisp`:	The cl-logic/form<dot>lisp file
	File, Lisp, `cl-logic/infix.lisp`:	The cl-logic/infix<dot>lisp file
	File, Lisp, `cl-logic/operators.lisp`:	The cl-logic/operators<dot>lisp file
	File, Lisp, `cl-logic/package.lisp`:	The cl-logic/package<dot>lisp file
	File, Lisp, `cl-logic/random-bool.lisp`:	The cl-logic/random-bool<dot>lisp file
	File, Lisp, `cl-logic/shortcuts.lisp`:	The cl-logic/shortcuts<dot>lisp file
	File, Lisp, `quine-mccluskey/package.lisp`:	The quine-mccluskey/package<dot>lisp file
	File, Lisp, `quine-mccluskey/quine-mccluskey.lisp`:	The quine-mccluskey/quine-mccluskey<dot>lisp file
	File, other, `cl-logic/COPYING`:	The cl-logic/copying file

L
	Lisp File, `cl-logic.asd`:	The cl-logic<dot>asd file
	Lisp File, `cl-logic/bool-structs.lisp`:	The cl-logic/bool-structs<dot>lisp file
	Lisp File, `cl-logic/boolean-simplify.lisp`:	The cl-logic/boolean-simplify<dot>lisp file
	Lisp File, `cl-logic/cl-logic.lisp`:	The cl-logic/cl-logic<dot>lisp file
	Lisp File, `cl-logic/combinator.lisp`:	The cl-logic/combinator<dot>lisp file
	Lisp File, `cl-logic/def.lisp`:	The cl-logic/def<dot>lisp file
	Lisp File, `cl-logic/dual.lisp`:	The cl-logic/dual<dot>lisp file
	Lisp File, `cl-logic/form.lisp`:	The cl-logic/form<dot>lisp file
	Lisp File, `cl-logic/infix.lisp`:	The cl-logic/infix<dot>lisp file
	Lisp File, `cl-logic/operators.lisp`:	The cl-logic/operators<dot>lisp file
	Lisp File, `cl-logic/package.lisp`:	The cl-logic/package<dot>lisp file
	Lisp File, `cl-logic/random-bool.lisp`:	The cl-logic/random-bool<dot>lisp file
	Lisp File, `cl-logic/shortcuts.lisp`:	The cl-logic/shortcuts<dot>lisp file
	Lisp File, `quine-mccluskey/package.lisp`:	The quine-mccluskey/package<dot>lisp file
	Lisp File, `quine-mccluskey/quine-mccluskey.lisp`:	The quine-mccluskey/quine-mccluskey<dot>lisp file

O
	Other File, `cl-logic/COPYING`:	The cl-logic/copying file

Q
	`quine-mccluskey/package.lisp`:	The quine-mccluskey/package<dot>lisp file
	`quine-mccluskey/quine-mccluskey.lisp`:	The quine-mccluskey/quine-mccluskey<dot>lisp file

Jump to:	C F L O Q

A.2 Functions

Jump to:	- ¬ ↑ → ↓ ∀ ∃ ∧ ∨ ∼ ⊕ A B C D E F G H I M N O P Q R S T

	Index Entry	Section

-
	`->anf`:	Internal functions
	`->cnf`:	Internal functions
	`->dnf`:	Internal functions

¬
	`¬`:	Internal functions

↑
	`↑`:	Internal functions

→
	`→`:	Internal functions

↓
	`↓`:	Internal functions

∀
	`∀`:	Internal functions

∃
	`∃`:	Internal functions

∧
	`∧`:	Internal functions

∨
	`∨`:	Internal functions

∼
	`∼`:	Internal functions

⊕
	`⊕`:	Internal functions

A
	`all-permutations`:	Internal functions
	`anf-conversion`:	Internal functions
	`anf-disjuncts`:	Internal functions
	`append-func`:	Internal functions
	`append-to`:	Internal macros
	`append-to-length`:	Internal functions

B
	`bool->int`:	Internal functions
	`boolean-list->binary-str`:	Internal functions
	`boolean-simplify`:	Internal functions
	`boolean-simplify-raw`:	Internal functions
	`boolean-simplify-vector`:	Internal functions
	`boolean-table`:	Internal functions
	`boolean-terms`:	Internal functions

C
	`char+`:	Internal functions
	`chars-gate`:	Internal macros
	`convert-raw-list-to-boolean`:	Internal functions
	`convert-raw-string-to-boolean`:	Internal functions
	`count-elem`:	Internal functions

D
	`def`:	Internal macros
	`def-dual-infix`:	Internal macros
	`def-infix`:	Internal macros
	`describe-boolean-cube`:	Internal functions
	`dual`:	Internal functions
	`dual-infix`:	Internal functions

E
	`equivalent`:	Internal functions

F
	`Function, ->anf`:	Internal functions
	`Function, ->cnf`:	Internal functions
	`Function, ->dnf`:	Internal functions
	`Function, all-permutations`:	Internal functions
	`Function, anf-conversion`:	Internal functions
	`Function, anf-disjuncts`:	Internal functions
	`Function, append-func`:	Internal functions
	`Function, append-to-length`:	Internal functions
	`Function, bool->int`:	Internal functions
	`Function, boolean-list->binary-str`:	Internal functions
	`Function, boolean-simplify`:	Internal functions
	`Function, boolean-simplify-raw`:	Internal functions
	`Function, boolean-simplify-vector`:	Internal functions
	`Function, boolean-table`:	Internal functions
	`Function, boolean-terms`:	Internal functions
	`Function, char+`:	Internal functions
	`Function, convert-raw-list-to-boolean`:	Internal functions
	`Function, convert-raw-string-to-boolean`:	Internal functions
	`Function, count-elem`:	Internal functions
	`Function, describe-boolean-cube`:	Internal functions
	`Function, dual`:	Internal functions
	`Function, dual-infix`:	Internal functions
	`Function, equivalent`:	Internal functions
	`Function, gen-list`:	Internal functions
	`Function, general-validity-p`:	Internal functions
	`Function, get-args`:	Internal functions
	`Function, get-symbols`:	Internal functions
	`Function, help-operators`:	Internal functions
	`Function, infix->prefix`:	Exported functions
	`Function, infix->prefix-optimized`:	Internal functions
	`Function, init-table`:	Internal functions
	`Function, insert-between`:	Internal functions
	`Function, int->bool`:	Internal functions
	`Function, int->bool-bin-list`:	Internal functions
	`Function, int->bool-list`:	Internal functions
	`Function, map-recursive`:	Internal functions
	`Function, mark`:	Internal functions
	`Function, mask-chars`:	Internal functions
	`Function, mul-perms`:	Internal functions
	`Function, mul-perms-assoc`:	Internal functions
	`Function, newline`:	Internal functions
	`Function, nvars`:	Internal functions
	`Function, only-two-arg`:	Internal functions
	`Function, order`:	Internal functions
	`Function, order2`:	Internal functions
	`Function, pcnf-conjuncts`:	Internal functions
	`Function, pcnf-conversion`:	Internal functions
	`Function, pdnf-conversion`:	Internal functions
	`Function, pdnf-disjuncts`:	Internal functions
	`Function, perms-commutativityp`:	Internal functions
	`Function, perms-groupp`:	Internal functions
	`Function, permute`:	Internal functions
	`Function, prefix->infix`:	Internal functions
	`Function, print-chars`:	Internal functions
	`Function, print-table`:	Internal functions
	`Function, print-table2`:	Internal functions
	`Function, process`:	Internal functions
	`Function, quine-mccluskey`:	Exported functions
	`Function, rand-permute`:	Internal functions
	`Function, random-bool-func`:	Internal functions
	`Function, remove-brackets`:	Internal functions
	`Function, result-vector`:	Internal functions
	`Function, result-vector->anf`:	Internal functions
	`Function, result-vector->perfect-cnf`:	Internal functions
	`Function, result-vector->perfect-dnf`:	Internal functions
	`Function, separate-list`:	Internal functions
	`Function, separate-tree`:	Internal functions
	`Function, strcat`:	Internal functions
	`Function, symbol-lessp`:	Internal functions
	`Function, tautology`:	Internal functions
	`Function, truth-table`:	Internal functions
	`Function, truth-table-print`:	Internal functions
	`Function, ¬`:	Internal functions
	`Function, ↑`:	Internal functions
	`Function, →`:	Internal functions
	`Function, ↓`:	Internal functions
	`Function, ∀`:	Internal functions
	`Function, ∃`:	Internal functions
	`Function, ∧`:	Internal functions
	`Function, ∨`:	Internal functions
	`Function, ∼`:	Internal functions
	`Function, ⊕`:	Internal functions

G
	`gen-list`:	Internal functions
	`general-validity-p`:	Internal functions
	`get-args`:	Internal functions
	`get-symbols`:	Internal functions

H
	`help-operators`:	Internal functions

I
	`infix->prefix`:	Exported functions
	`infix->prefix-optimized`:	Internal functions
	`init-table`:	Internal functions
	`insert-between`:	Internal functions
	`int->bool`:	Internal functions
	`int->bool-bin-list`:	Internal functions
	`int->bool-list`:	Internal functions

M
	`Macro, append-to`:	Internal macros
	`Macro, chars-gate`:	Internal macros
	`Macro, def`:	Internal macros
	`Macro, def-dual-infix`:	Internal macros
	`Macro, def-infix`:	Internal macros
	`map-recursive`:	Internal functions
	`mark`:	Internal functions
	`mask-chars`:	Internal functions
	`mul-perms`:	Internal functions
	`mul-perms-assoc`:	Internal functions

N
	`newline`:	Internal functions
	`nvars`:	Internal functions

O
	`only-two-arg`:	Internal functions
	`order`:	Internal functions
	`order2`:	Internal functions

P
	`pcnf-conjuncts`:	Internal functions
	`pcnf-conversion`:	Internal functions
	`pdnf-conversion`:	Internal functions
	`pdnf-disjuncts`:	Internal functions
	`perms-commutativityp`:	Internal functions
	`perms-groupp`:	Internal functions
	`permute`:	Internal functions
	`prefix->infix`:	Internal functions
	`print-chars`:	Internal functions
	`print-table`:	Internal functions
	`print-table2`:	Internal functions
	`process`:	Internal functions

Q
	`quine-mccluskey`:	Exported functions

R
	`rand-permute`:	Internal functions
	`random-bool-func`:	Internal functions
	`remove-brackets`:	Internal functions
	`result-vector`:	Internal functions
	`result-vector->anf`:	Internal functions
	`result-vector->perfect-cnf`:	Internal functions
	`result-vector->perfect-dnf`:	Internal functions

S
	`separate-list`:	Internal functions
	`separate-tree`:	Internal functions
	`strcat`:	Internal functions
	`symbol-lessp`:	Internal functions

T
	`tautology`:	Internal functions
	`truth-table`:	Internal functions
	`truth-table-print`:	Internal functions

Jump to:	- ¬ ↑ → ↓ ∀ ∃ ∧ ∨ ∼ ⊕ A B C D E F G H I M N O P Q R S T

A.3 Variables

Jump to:	* S

	Index Entry	Section

*
	`mask-fn`:	Internal special variables
	`separators`:	Internal special variables
	`xor-fn`:	Internal special variables

S
	`Special Variable, mask-fn`:	Internal special variables
	`Special Variable, separators`:	Internal special variables
	`Special Variable, xor-fn`:	Internal special variables

Jump to:	* S

A.4 Data types

Jump to:	C P Q S

	Index Entry	Section

C
	`cl-logic`:	The cl-logic system
	`cl-logic`:	The cl-logic package

P
	`Package, cl-logic`:	The cl-logic package
	`Package, quine-mccluskey`:	The quine-mccluskey package

Q
	`quine-mccluskey`:	The quine-mccluskey system
	`quine-mccluskey`:	The quine-mccluskey package

S
	`System, cl-logic`:	The cl-logic system
	`System, quine-mccluskey`:	The quine-mccluskey system

Jump to:	C P Q S

• Systems:		The systems documentation
• Files:		The files documentation
• Packages:		The packages documentation
• Definitions:		The symbols documentation
• Indexes:		Concepts, functions, variables and data types

• The cl-logic.asd file:
• The cl-logic/package.lisp file:
• The cl-logic/cl-logic.lisp file:
• The cl-logic/def.lisp file:
• The cl-logic/dual.lisp file:
• The cl-logic/infix.lisp file:
• The cl-logic/operators.lisp file:
• The cl-logic/shortcuts.lisp file:
• The cl-logic/form.lisp file:
• The cl-logic/bool-structs.lisp file:
• The cl-logic/boolean-simplify.lisp file:
• The cl-logic/random-bool.lisp file:
• The cl-logic/combinator.lisp file:
• The quine-mccluskey/package.lisp file:
• The quine-mccluskey/quine-mccluskey.lisp file:

• Concept index:
• Function index:
• Variable index:
• Data type index:

• Internal special variables:
• Internal macros:
• Internal functions:

The cl-logic Reference Manual

Table of Contents

The cl-logic Reference Manual

1 Systems

1.1 cl-logic

1.2 quine-mccluskey

2 Files

2.1 Lisp

2.1.1 cl-logic.asd

2.1.2 cl-logic/package.lisp

2.1.3 cl-logic/cl-logic.lisp

2.1.4 cl-logic/def.lisp

2.1.5 cl-logic/dual.lisp

2.1.6 cl-logic/infix.lisp

2.1.7 cl-logic/operators.lisp

2.1.8 cl-logic/shortcuts.lisp

2.1.9 cl-logic/form.lisp

2.1.10 cl-logic/bool-structs.lisp

2.1.11 cl-logic/boolean-simplify.lisp

2.1.12 cl-logic/random-bool.lisp

2.1.13 cl-logic/combinator.lisp

2.1.14 quine-mccluskey/package.lisp

2.1.15 quine-mccluskey/quine-mccluskey.lisp

2.2 Other

2.2.1 cl-logic/COPYING

3 Packages

3.1 quine-mccluskey

3.2 cl-logic

4 Definitions

4.1 Exported definitions

4.1.1 Functions

4.2 Internal definitions

4.2.1 Special variables

4.2.2 Macros

4.2.3 Functions

Appendix A Indexes

A.1 Concepts

A.2 Functions

A.3 Variables

A.4 Data types

1.1 `cl-logic`

1.2 `quine-mccluskey`

2.1.1 `cl-logic.asd`

2.1.2 `cl-logic/package.lisp`

2.1.3 `cl-logic/cl-logic.lisp`

2.1.4 `cl-logic/def.lisp`

2.1.5 `cl-logic/dual.lisp`

2.1.6 `cl-logic/infix.lisp`

2.1.7 `cl-logic/operators.lisp`

2.1.8 `cl-logic/shortcuts.lisp`

2.1.9 `cl-logic/form.lisp`

2.1.10 `cl-logic/bool-structs.lisp`

2.1.11 `cl-logic/boolean-simplify.lisp`

2.1.12 `cl-logic/random-bool.lisp`

2.1.13 `cl-logic/combinator.lisp`

2.1.14 `quine-mccluskey/package.lisp`

2.1.15 `quine-mccluskey/quine-mccluskey.lisp`

2.2.1 `cl-logic/COPYING`

3.1 `quine-mccluskey`

3.2 `cl-logic`