می توانیم با استفاده از عملگر نقیض و عملگرهای منطقی که تا به حال تعریف شده است، گزاره های مرکب بسازیم. به طور کلی از پرانتزها برای مشخص نمودن ترتیب عملگرهای منطقی که در گزاره های مرکب به کار گرفته می شوند استفاده می کنیم. برای مثال، (q∨p)∧(¬r) ترکیبی از q∨p و r¬ است. با این وجود برای کاهش تعداد پرانتزها، تعیین می کنیم که عملگر نقیض قبل از عملگرهای منطقی دیگر به کار می رود. به این معنی که p∧q¬ ترکی...
