We denote this by writing ¬(p ā§ q) ┠¬p ⨠¬q The ā” symbol is not a connective. The statement ¬(p ā§ q) ā (¬p ⨠¬q) is a propositional formula. If you plug in diferent values of p and q, it will evaluate to a truth value. It just happens to evaluate to true every time.
