Извините, пока эта страница находится ещё только в стадии разработки. Но кое-что я уже сейчас скажу:
Все свойства функций универсального логического базиса - это не аксиомы, а теоремы. Их нужно доказывать. Доказательство всех этих теорем сводится к полному перебору вариантов. Это значит, что небходимо построить таблицу, похожую на все обычные таблицы истинности. В теле таблицы необходимо перебрать все возможные варианты для аргументов, входящих в состав доказываемой формулы (то есть для "ашек", "бэшек", "цэшек" и других, если есть). Таково будет тело таблицы. Столбцы значений нужно построить для левой и правой части. Справедливость формулы доказывается посредством совпадения столбцов значений для левой и правой части формул.