Да се докаже, че не е булева алгебра

[mathgeek]

Здравейте!
Имам един въпрос. Как мога да докажа, че наредената шесторка:

[tex](F2,\oplus,\wedge,\neg,1,0)[/tex]

не е булева алгебра (предполагам трябва да получа противоречие със свойствата, които притежава булевата агебра, но не съм сигурен дали процедирам по правилния начин).

Вероятно, противоречие се получава при:

[tex]x \oplus 1 \neq x[/tex]

Това ли е в действителност?