TESTS: added and/or/xor tests to logic-test.reds