যৌক্তিক সংশ্লেষ হচ্ছে এমন একটি অপারেশন যেখানে দুইটি যৌক্তিক মান ইনপুট নেয়ার পর সেগুলোর ফলাফল তখনই মিথ্যা হয়, যদি প্রথম ইনপুটের মান সত্য এবং দ্বিতীয়টি মিথ্যা হয়। অনথ্যায় সর্বদা এর ফলাফল সত্য হবে। 

নিচের টেবিলটিতে এমন একটি সম্পর্ক প্রকাশ করে যেখানে শর্ত হচ্ছে, যদি p হয় তখন q ( p → q এর মত করে লিখা হয়)। এবং এর যৌক্তিক সংশ্লেষ p implies q ( p ⇒ q, অথবা Cpq এর মত করে লিখা হয়) নিম্নরূপ:

 p → q হচ্ছে ¬p ∨ q এর সমতুল্য

সবচেয়ে বেশি ব্যবহৃত যৌক্তিক সমীকরণের জন্য সত্যক সারণি নিম্নরূপঃ
যৌক্তিক অস্বীকৃতি
যৌক্তিক সংযোগ (এবং)
যৌক্তিক সংশ্লেষ