a ; -a.

s :- not w, not a.
w :- not s.