поскольку !(!X) == X значит не является

Но утверждение !(!X) == X содержит в себе !X!!!

тогда сначала посадить а потом оправдать :O)

Не, у посаженного было только !X. А суд, руководствующийся !(!X), посадил отрицающего.
Можно использовать такую формулу: N!X->#N, где # - означает посадку.

логично :o)
щас еще к Булевой алгебре перейдем

Пора обосновать математически. Причем так, чтобы срок за святотатство выводился по алгоритму. Механизировать процесс.

а что такого срок равен 10EX где X число отрицаний лохокоста

Ну мы ж гуманные. Хватит и 10*Х

Это типа "Я не уверен, что этого не было"?

Да не, скорее "отрицание отрицания холокоста есть утверждение неиллюзорности холокоста".

Небыло никакого уничтожения евреев - был холокост.

Во всяком случае это логично.

нет не является, но в итоге по башке получишь дважды. ;)