Boolean опис формату клітина

[thenonbornking]

Я намагаюся використовувати Encounter бібліотека Characterizer охарактеризувати 4-перенести осередок регістр.Мабуть ELC не може зрозуміти, що логічне опис осередки.Я вважаю, що можу сказати це те, що клітина допомогою db_bool команда, проте я не знаю, що формат.

Ось приклад з довідкової системи каденції:
DL
, Зареєструйтесь ([IQ], [XIQ ])::=(~[ XIQ] ~ (G? D: [IQ]))
, Q:: = [IQ]
;
NAND2
, Y ::=~( & B)
;
TBUF
, Y:: = ((AT) EN)
;

Інші місця в системі допомоги ставляться до цього як synspec формат логічного, але я не зміг знайти нічого, пов'язаних з цим на сайті Google.

Чи можна точка мені гід / Підручник з цього булева формат?Чи, може дати мені більше великі приклади?

Спасибо!
-Майкл

 

[ljxpjpjljx]

якому форматі ви хочете використовувати?

 

[thenonbornking]

Я хочу використовувати формат ELC зрозуміє.Я не знаю що це таке.Я бачив це називається булева synspec формат, але я не впевнений, що це правильно чи ні.

 

[thenonbornking]

Здається, що булева формату дорослих, не дуже добре підтримується, формат.Я думаю, що в даний час є найкращим методом для редагування воріт файлу, створеного ELC.Ворота формат файлу описаний в документації ELC.