j:logic-ops (truth tables)