User Portlet User Portlet

Discussions
Thanks for your help. This is quite weird. "truth table (a implies b) equivalent (not b implies not a)" works but "truth table ((a and (b and c)) equivalent ((a and b) and c)) " doesn't work,