Сейчас к сожалению тороплюсь, еду на дачу

Если за выходные ничего не сделаете, то помогу синтезировать формулу.
Но начало помогу сейчас:
Я бы начал тут с конца

Последний элемент на выходе у нас И, к нему присоединяются элементы ИЛИ и И, в свою очередь к ним присоединены XOR и "тождественно", далее к ним присоединяются И и 2 элемента ИЛИ.
Поняли иерархию, от чего плясать?
Реализация:

Присоединяем дальше

Далее в пустые скобки соединяем остальные элементы, попробуйте сами, а то так и не научитесь

Тут ничего сложного, просто выглядит страшно
-- Пт июл 01, 2011 14:15:24 --То-есть элемент "тождественно" это инвертированный XOR
-- Пт июл 01, 2011 14:17:26 --| и 1 и ИЛИ это все одно и тоже
http://ru.wikipedia.org/wiki/%D0%94%D0%B8%D0%B7%D1%8A%D1%8E%D0%BD%D0%BA%D1%86%D0%B8%D1%8F-- Пт июл 01, 2011 14:20:55 --Советую пользоваться обозначениями OR, NOT, AND, XOR и тд переводя все формулы в них. При такой записи не надо вспоминать что такое дизюнкция, все эти плюсики палочки, запись становится самодокументированной, просто читаемой!
ИМХО
-- Пт июл 01, 2011 14:39:54 --Записи типа !, |, ||, &, && и тд обычно используют в синтаксисах языков программирования, например
if( !(A || B) && C )
Записи типа 1, кружок, & и тд можно видеть на принципиальных схемах, электрических, пневмонических...
Всякие там плюсики кружки галочки в математической литературе.
Ну а ИЛИ, НЕ, OR, XOR это когда "по русски" пишут
Так же существует и название каждого элемента, коньюнктор, дизюнктор и тд
Таким образом существует масса синонимов одного и того же
