前件是MP-1和MP-2在V和X同一的时候的特殊情况。
简化.因为这个逻辑的唯一连结词是"|"，符号"|"可以一起都丢弃，只留下圆括号用来组合字母。一对圆括号必须总是包含一对"wff"。使用这种简单表示法的例子有明显类似于LISP的语法。表示法可以进一步简化，通过让对于任何U。这种简化导致了需要改变某些规则：（1）多于两个字母允许在圆括号内。（2）在圆括号内的字母或wff允许交换。（3）在同一组圆括号内的重复字母或wff可以除去。这个结果是Peirce的存在图的相应版本。