Rule General expression: {t1.Aj…tn.Am|COND(t1…tn)}
{"Image DocumentName": "Rule General expression: {t1.Aj\u2026tn.Am|COND(t1\u2026tn)}", "Image ImageDescription": "COND is condition or FORMULA. Every atom is Formula. If F1 and F2 are a Formula, F1 AND F2, F1 OR F2, NOT F1, NOT F2 also Formula.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}