Gépelje be a formulát a felső mezőbe, melynek szintaktikai tulajdonságait meg szeretné tekinteni. A logikai összekötő jelek helyett használja a következő szavakat: and, or és implies.
and
or
implies