( x 'nor' y = FALSE or x 'nor' y = TRUE ) by XBOOLEAN:def 3;
hence x 'nor' y is Element of BOOLEAN ; :: thesis: verum