Introduction - If you have any usage issues, please Google them yourself
//Define the conjunction of five propositions: or (-) and (+) non (!) Implies ($) equivalent (#)// define two propositions punctuation :' (' ,' )' // define three atomic formula: p, q, r