Tümleme (mantık)

Mantıkta, tümleme ya da değilleme verilen bir önermesini " değil" () önermesine dönüştüren bir işlemdir. Bu yeni önerme doğru olduğunda yanlış, yanlış olduğunda doğru değerine sahip olur. Dolayısıyla, tümleme birli (tek argümanlı) bir mantık bağlacıdır.

Tümleyen işlemi elektronik devrelerde DEĞİL kapısı ile gerçekleştirilir.

Tanım

Tümlemenin tanımı konusunda bir fikir birliğine varılamamıştır. Ancak, klasik mantıkta verilen bir mantıksal değeri, genellikle bir önermeyi, değiştiren bir işlem olarak tanımlanır. İşlenen değer doğru ise çıktısı yanlış, işlenen değer yanlış ise çıktısı doğru olur. Bunun doğruluk tablosuyla ifadesi şudur:

DoğruYanlış
YanlışDoğru
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.