合式公式的判定

合式公式的判定/* (1) '!'表示否定 (2) '&'表示合取 (3) '|'表示析取 (4) '>'表示条件 (5) '='表示双条件 */ #include <stdio.h> #includ