Show HN: logidiff – determine if two or more logical statements are equivalent